# Representable functor

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A covariant (or contravariant) functor from some category into the category of sets (cf. Sets, category of) that is isomorphic to one of the functors or A functor is representable if and only if there is an object and an element such that for every element , , there is a unique morphism for which . The object is called a representing object for ; it is unique up to isomorphism.

In the category of sets the identity functor is representable: a representing object is a singleton. The functor of taking a Cartesian power is also representable: a representing object is a set whose cardinality equals the given power. In an arbitrary category a product of representable functors with representing objects , , is representable if and only if the coproduct of the exists in the category. Every covariant representable functor commutes with limits, i.e. is continuous (cf. Continuous functor).

A representable functor is an analogue of the concept of a "free universal algebra with one generator" . For any functor and a representable functor the set of natural transformations is isomorphic to , where is a representing object for . This shows that representable functors are free objects in the category of functors.

In the case of additive categories one considers additive functors with values in the category of Abelian groups instead of functors with values in . Therefore, in this case one understands a representable functor to be an additive functor isomorphic to one of the form or .

The concept of a representable functor arose first in algebraic geometry (cf. ). The most important examples of representable functors in this branch are Picard functors and Hilbert functors , which are representable in the category of algebraic spaces (cf.  and Algebraic space). Let be the field of fractions of a regular discretely-normed ring with perfect field of residues. If is a smooth geometrically non-degenerate singular curve of genus over , then its minimal model represents the functor from the category of regular -schemes. If is an Abelian variety over , then its minimal Néron model is a smooth group scheme , representing the functor from the category of smooth -schemes.

How to Cite This Entry:
Representable functor. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Representable_functor&oldid=11965
This article was adapted from an original article by S.G. TankeevM.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article