View source for Representable functor

<!--
r0813401.png
$#A+1 = 43 n = 0
$#C+1 = 43 : ~/encyclopedia/old_files/data/R081/R.0801340 Representable functor
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

A covariant (or contravariant) functor  $  F $
from some [[Category|category]]  $  \mathfrak R $
into the category of sets  $  \mathfrak S $ (cf. [[Sets, category of|Sets, category of]]) that is isomorphic to one of the functors

$$ 
H ( A, -) :  \mathfrak R  \rightarrow  \mathfrak S ,\ \ 
X \mapsto H( A, X),
$$

or

$$ 
H(-, A):  \mathfrak R  \rightarrow  \mathfrak S ,\ \ 
X \mapsto H( X, A) .
$$

A functor  $  F:  \mathfrak R \rightarrow \mathfrak S $
is representable if and only if there is an object  $  A \in  \mathop{\rm Ob}  \mathfrak R $
and an element  $  a \in F ( A) $
such that for every element  $  x \in F ( X) $, 
$  X \in  \mathop{\rm Ob}  \mathfrak R $, 
there is a unique morphism  $  \alpha : A \rightarrow X $
for which  $  x = F ( \alpha )( a) $. 
The object  $  A $
is called a representing object for  $  F $; 
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  $  F _ {i} $
with representing objects  $  A _ {i} $, 
$  i \in I $, 
is representable if and only if the [[Coproduct|coproduct]] of the  $  A _ {i} $
exists in the category. Every covariant representable functor commutes with limits, i.e. is continuous (cf. [[Continuous functor|Continuous functor]]).

A representable functor is an analogue of the concept of a "free universal algebra with one generator" . For any functor  $  G:  \mathfrak R \rightarrow \mathfrak S $
and a representable functor  $  F $
the set of natural transformations  $   \mathop{\rm Nat} ( F, G) $
is isomorphic to  $  G ( A) $, 
where  $  A $
is a representing object for  $  F $. 
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  $  \mathfrak S $. 
Therefore, in this case one understands a representable functor to be an additive functor isomorphic to one of the form  $  H( A, -) $
or  $  H(-, A) $.

The concept of a representable functor arose first in algebraic geometry (cf. [[#References|[2]]]). The most important examples of representable functors in this branch are Picard functors  $   \mathop{\rm Pic}  X/S $
and Hilbert functors  $   \mathop{\rm Hilb}  X/S $, 
which are representable in the category of algebraic spaces (cf. [[#References|[1]]] and [[Algebraic space|Algebraic space]]). Let  $  K $
be the [[field of fractions]] of a regular discretely-normed ring  $  O $
with perfect field of residues. If  $  X _ {O} $
is a smooth geometrically non-degenerate singular curve of genus  $  g > 0 $
over  $  K $, 
then its [[Minimal model|minimal model]] represents the functor  $  Y \mapsto  \mathop{\rm Isom} _ {K} ( Y \otimes _ {O} K, X _ {O} ) $
from the category of regular  $  O $-schemes. If  $  A $
is an Abelian variety over  $  K $, 
then its minimal [[Néron model|Néron model]] is a smooth group scheme  $  X \rightarrow  \mathop{\rm Spec}  O $, 
representing the functor  $  Y \mapsto  \mathop{\rm Hom} _ {K} ( Y \otimes _ {O} K, A) $
from the category of smooth  $  O $-schemes.

====References====
<table>
<TR><TD valign="top">[1]</TD> <TD valign="top"> M. Artin, "Algebraic spaces" , Yale Univ. Press (1971) {{MR|0427316}} {{MR|0407012}} {{ZBL|0232.14003}} {{ZBL|0226.14001}} {{ZBL|0216.05501}} </TD></TR>
<TR><TD valign="top">[2]</TD> <TD valign="top"> A. Grothendieck, J. Dieudonné, "Eléments de géométrie algébrique" , '''I. Le langage des schémas''' , Springer (1971) {{MR|0217085}} {{ZBL|0203.23301}} </TD></TR>
</table>

====Comments====
Representable functors occur in many branches of mathematics besides algebraic geometry. S. MacLane [[#References|[a1]]] traces their first appearance to work of J.-P. Serre in algebraic topology, around 1953. The theorem (above) characterizing natural transformations from a representable functor to an arbitrary functor is commonly called the Yoneda lemma. If a category  $  \mathfrak R $
has arbitrary coproducts, then a functor  $  \mathfrak R \rightarrow \mathfrak S $
is representable if and only if it has a left adjoint (cf. [[Adjoint functor|Adjoint functor]]).

Note that all above-mentioned functors in algebraic geometry are contravariant.

====References====
<table>
<TR><TD valign="top">[a1]</TD> <TD valign="top"> S. MacLane, "Categories for the working mathematician" , Springer (1971) pp. Chapt. IV, Sect. 6; Chapt. VII, Sect. 7 {{MR|}} {{ZBL|0232.18001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A. Grothendieck, J. Dieudonné, "Eléments de géométrie algébrique III" ''Publ. Math. IHES'' , '''11''' (1961) pp. 349–356 {{MR|0217085}} {{MR|0163910}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> A. Grothendieck, "Fondements de la géométrie algébrique" ''Sém. Bourbaki'' , '''195; 221; 232''' (1960–1962) {{MR|1611235}} {{MR|1086880}} {{MR|0146040}} {{ZBL|0239.14002}} {{ZBL|0239.14001}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> M. Artin, "Algebraization of formal moduli, I" D.C. Spencer (ed.) S. Iyanaga (ed.) , ''Global analysis (papers in honor of K. Kodaira)'' , Princeton Univ. Press (1969) pp. 21–72 {{MR|0260746}} {{ZBL|0205.50402}} </TD></TR>
</table>