We are creating the world's most trusted encyclopedia and knowledge base.
Once you join us and log in, you'll be able to edit this page instantly!

Category of functors

From Citizendium, the Citizens' Compendium

Jump to: navigation, search

Main Article

Talk

The category of functors

Let $C$ and $D$ be two categories. The category of functors $F u n c t (C o p, S e t s)$ 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 o p$ , the diagram (DIAGRAM) commutes.

A natural isomorphism is a natural transformation $η$ such that $η 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 = M o r 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 $M o r C ( - , X)$ to $F$ are in correspondence with the elements of the set $F (X)$ .
If the functors $M o r C ( - , X)$ and $M o r 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 $F u n c t (C o p, S e t s)$ .