View source for Functor

<!--
f0421401.png
$#A+1 = 106 n = 0
$#C+1 = 106 : ~/encyclopedia/old_files/data/F042/F.0402140 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 mapping from one [[Category|category]] into another that is compatible with the category structure. More precisely, a covariant functor from a category  $  \mathfrak K $
into a category  $  \mathfrak C $
or, simply, a functor from  $  \mathfrak K $
into  $  \mathfrak C $, 
is a pair of mappings  $  (  \mathop{\rm Ob}  \mathfrak K \rightarrow  \mathop{\rm Ob}  \mathfrak C,  \mathop{\rm Mor}  \mathfrak K \rightarrow  \mathop{\rm Mor}  \mathfrak C ) $, 
usually denoted by the same letter, for example  $  F $(
$  F:  \mathfrak K \rightarrow \mathfrak C $), 
subject to the conditions:

1)  $  F( 1 _ {A} ) = 1 _ {F( A) }  $
for every  $  A \in  \mathop{\rm Ob}  \mathfrak K $;

2)  $  F ( \alpha \beta ) = F ( \alpha ) \cdot F ( \beta ) $
for all morphisms  $  \alpha \in H _ {\mathfrak K }  ( A, B) $, 
$  \beta \in H _ {\mathfrak K }  ( B, C) $.

A functor from the category  $  \mathfrak K  ^ {*} $
dual to  $  \mathfrak K $
into the category  $  \mathfrak C $
is called a contravariant functor from  $  \mathfrak K $
into  $  \mathfrak C $. 
Thus, for a contravariant functor  $  F:  \mathfrak K \rightarrow \mathfrak C $, 
condition 1) must be satisfied as before, and condition 2) is replaced by: 2*)  $  F ( \alpha \beta ) = F ( \beta ) \cdot F ( \alpha ) $
for all morphisms  $  \alpha \in H _ {\mathfrak K} ( A, B) $, 
$  \beta \in H _ {\mathfrak K} ( B, C) $.

An  $  n $-
place functor from categories  $  \mathfrak K _ {1} \dots \mathfrak K _ {n} $
into  $  \mathfrak C $
that is covariant in the arguments  $  i _ {1} \dots i _ {k} $
and contravariant in the remaining arguments is a functor from the Cartesian product

$$ 
\prod _ {i = 1 } ^ { n } 
\widetilde{\mathfrak K}  _ {i}  $$

into  $  \mathfrak K $, 
where  $  \widetilde{\mathfrak K}  _ {i} = \mathfrak K _ {i} $
for  $  i = i _ {1} \dots i _ {k} $
and  $  \widetilde{\mathfrak K}  _ {i} = \mathfrak K _ {i}  ^ {*} $
for the remaining  $  i $. 
Two-place functors that are covariant in both arguments are called bifunctors.

===Examples of functors.===

1) The identity mapping of a category  $  \mathfrak K $
onto itself is a covariant functor, called the identity functor of the category and denoted by  $   \mathop{\rm Id} _ {\mathfrak K }  $
or  $  1 _ {\mathfrak K }  $.

2) Let  $  \mathfrak K $
be an arbitrary [[locally small category]], let  $  \mathfrak S $
be the category of sets, and let  $  A $
be a fixed object of  $  \mathfrak K $. 
If one associates to each  $  X \in  \mathop{\rm Ob}  \mathfrak K $
the set  $  H  ^ {A} ( X) = H _ {\mathfrak K }  ( A, X) $
and to each morphism  $  \alpha :  X \rightarrow Y $
the mapping  $  H  ^ {A} ( \alpha ):  H  ^ {A} ( X) \rightarrow H  ^ {A} ( Y) $, 
where  $  \gamma H  ^ {A} ( \alpha ) = \gamma \alpha $
for each  $  \gamma \in H  ^ {A} ( X) $, 
one obtains a functor from  $  \mathfrak K $
into  $  \mathfrak S $. 
This functor is called the covariant representable functor from  $  \mathfrak K $
into  $  \mathfrak S $
with representing object  $  A $. 
Similarly, if one associates to an object  $  X $
the set  $  H _ {A} ( X) = H _ {\mathfrak K }  ( X, A) $
and to a morphism  $  \alpha :  Y \rightarrow X $
the mapping  $  H _ {A} ( A):  H _ {A} ( X) \rightarrow H _ {A} ( Y) $, 
where  $  \gamma H _ {A} ( \alpha ) = \alpha \gamma $, 
one obtains the contravariant representable functor from  $  \mathfrak K $
into  $  \mathfrak S $
with representing object  $  A $. 
These functors are denoted by  $  H  ^ {A} $
and  $  H _ {A} $, 
respectively. If  $  \mathfrak K $
is the category of vector spaces over a field  $  K $, 
then  $  H _ {K} $
takes a space  $  E $
to its dual space of linear functionals  $  E  ^ {*} $. 
In the category of topological Abelian groups, the functor  $  H _ {Q} $, 
where  $  Q $
is the quotient group of the real numbers by the integers, associates to each group its group of characters.

3) If one associates to each pair of objects  $  X $
and  $  Y $
of an arbitrary category the set  $  H ( X, Y) $, 
and to each pair of morphisms  $  \alpha :  X _ {1} \rightarrow X $
and  $  \beta :  Y _ {1} \rightarrow Y $
the mapping  $  H ( \alpha , \beta ):  H ( X, Y _ {1} ) \rightarrow H ( X _ {1} , Y) $
defined by the equation  $  \gamma H ( \alpha , \beta ) = \alpha \gamma \beta $
for any  $  \gamma \in H ( X, Y _ {1} ) $, 
one obtains a two-place functor into the category  $  \mathfrak S $
that is contravariant in the first argument and covariant in the second.

In any category with finite products, the product can be regarded as an  $  n $-
place functor that is covariant in all arguments, for any natural number  $  n $. 
As a rule, a construction that may be defined for any object of a category or for any sequence of objects of a fixed length, independently of the individual properties of the objects, is likely to be functorial. Examples of this are the construction of free algebras in some variety of universal algebras, which can be uniquely associated to each object of the category of sets; the construction of the fundamental group of a topological space, the construction of homology and cohomology groups of various dimensions; etc.

Any functor  $  F:  \mathfrak K \rightarrow \mathfrak C $
defines a mapping of each set  $  H _ {\mathfrak K }  ( A, B) $
into  $  H _ {\mathfrak C }  ( F ( A), F ( B)) $
which associates to a morphism  $  \alpha :  A \rightarrow B $
the morphism  $  F ( \alpha ):  F ( A) \rightarrow F ( B) $. 
The functor  $  F $
is called faithful if these mappings are all injective, and full if they are all surjective. For every [[Small category|small category]]  $  \mathfrak D $, 
the assignment  $   \mathop{\rm Ob}  \mathfrak D \ni D \rightarrow H _ {D} $
can be extended to a full faithful functor  $  J $
from  $  \mathfrak D $
into the category  $  F ( \mathfrak D  ^ {*} , \mathfrak S ) $
of diagrams (cf. [[Diagram|Diagram]]) with scheme  $  \mathfrak D $
over the category of sets  $  \mathfrak S $.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I. Bucur,   A. Deleanu,   "Introduction to the theory of categories and functors" , Wiley  (1968)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  H. Cartan,   S. Eilenberg,   "Homological algebra" , Princeton Univ. Press  (1956)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  S. MacLane,   "Categories for the working mathematician" , Springer  (1971)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  H. Schubert,   "Categories" , '''1–2''' , Springer  (1972)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M.Sh. Tsalenko,   E.G. Shul'geifer,   "Fundamentals of category theory" , Moscow  (1974)  (In Russian)</TD></TR></table>

====Comments====
A subfunctor of a given functor  $  F :  \mathfrak C \rightarrow \mathfrak D $
is a functor  $  S $
together with a morphism of functors (functorial transformation)  $  \alpha :  S \rightarrow F $
such that for each  $  X \in \mathfrak C $, 
$  \alpha ( X) :  S ( X) \rightarrow F ( X) $
is a monomorphism in  $  \mathfrak D $(
and thus represents a subobject of  $  F ( X) $). 
Dually, a quotient functor of  $  F $
is a functor  $  Q $
with a functorial transformation  $  F \rightarrow Q $
which yields an epimorphism  $  F ( X) \rightarrow Q ( X) $
for each  $  X \in \mathfrak C $. 
It follows that then  $  F \rightarrow Q $
is an epimorphism in the category  $   \mathop{\rm Func} ( \mathfrak C , \mathfrak D ) $
of functors from  $  \mathfrak C \rightarrow \mathfrak D $.

In some translations into English (including in some earlier articles in this Encyclopaedia) the terms  "faithful functor"  and  "full functor"  are (mis)translated as  "univalent functor"  and  "complete functor" , respectively.

The full and faithful functor  $  \mathfrak D \rightarrow F ( \mathfrak D  ^ {*} , G ) $
mentioned at the end of the main article is often called the "[[Yoneda embedding]]".

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  B. Mitchell,   "Theory of categories" , Acad. Press  (1965)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J. Adámek,   "Theory of mathematical structures" , Reidel  (1983)</TD></TR></table>