Category of functors

From Citizendium, the Citizens' Compendium

Main Article

The category of functors

Let $C$ and $D$ be two categories. The category of functors $Funct(C^{op},Sets)$ has

Objects are functors $F:C^{op}\to D$
A morphism of functors $F,G$ is a natural transformation $\eta:F\to G$ ; i.e., for each object $U$ of $C$ , a morphism in $D$ $\eta_U:F(U)\to G(U)$ such that for all morphisms $f:U\to V$ in $C^{op}$ , the diagram (DIAGRAM) commutes.

A natural isomorphism is a natural transformation $\eta$ such that $\eta_U$ is an isomorphism in $D$ for every object $U$ . One can verify that natural isomorphisms are indeed isomorphisms in the category of functors.

An important class of functors are the representable functors; i.e., functors that are naturally isomorphic to a functor of the form $h_X=Mor_C(-,X)$ .

Examples

In the theory of schemes, the presheaves $h_X$ are often referred to as the functor of points of the scheme X. Yoneda's lemma allows one to think of a scheme as a functor in some sense, which becomes a powerful interpretation; indeed, meaningful geometric concepts manifest themselves naturally in this language, including (for example) functorial characterizations of smooth morphisms of schemes.

The Yoneda lemma

Let $C$ be a category and let $X,X'$ be objects of $C$ . Then

If $F$ is any contravariant functor $F:C^{op}\to Sets$ , then the natural transformations of $Mor_C(-,X)$ to $F$ are in correspondence with the elements of the set $F(X)$ .
If the functors $Mor_C(-,X)$ and $Mor_C(-,X')$ are isomorphic, then $X$ and $X'$ are isomorphic in $C$ . More generally, the functor $h:C\to Funct(C^{op},Sets)$ , $X\mapsto h_X$ , is an equivalence of categories between $C$ and the full subcategory of representable functors in $Funct(C^{op},Sets)$ .