Functor category

Functor category

In category theory, a branch of mathematics, the functors between two given categories can themselves be turned into a category; the morphisms in this functor category are natural transformations between functors. Functor categories are of interest for two main reasons:
* many commonly occurring categories are (disguised) functor categories, so any statement proved for general functor categories is widely applicable;
* every category embeds in a functor category (via the Yoneda embedding); the functor category often has nicer properties than the original category, allowing certain operations that were not available in the original setting.

Definition

Suppose "C" is a small category (i.e. the objects form a set rather than a proper class) and "D" is an arbitrary category. The category of functors from "C" to "D", written as Funct("C","D") or "D""C", has as objects the covariant functors from "C" to "D", and as morphisms the natural transformations between such functors. Note that natural transformations can be composed: if μ("X") : "F"("X") → "G"("X") is a natural transformation from the functor "F" : "C" → "D" to the functor "G" : "C" → "D", and η("X") : "G"("X") → "H"("X") is a natural transformation from the functor "G" to the functor "H", then the collection η("X")μ("X") : "F"("X") → "H"("X") defines a natural transformation from "F" to "H". With this composition of natural transformations (known as vertical composition, see natural transformation), "D""C" satisfies the axioms of a category.

In a completely analogous way, one can also consider the category of all "contravariant" functors from "C" to "D"; we write this as Funct("C"op,"D").

If "C" and "D" are both preadditive categories (i.e. their morphism sets are abelian groups and the composition of morphisms is bilinear), then we can consider the category of all additive functors from "C" to "D", denoted by Add("C","D").

Examples

* If "I" is a small discrete category (i.e. its only morphisms are the identity morphisms), then a functor from "I" to "C" essentially consists of a family of objects of "C", indexed by "I"; the functor category "C""I" can be identified with the corresponding product category: its elements are families of objects in "C" and its morphisms are families of morphisms in "C".
* A directed graph consists of a set of arrows and a set of vertices, and two functions from the arrow set to the vertex set, specifying each arrow's start and end vertex. The category of all directed graphs is thus nothing but the functor category Set"C", where "C" is the category with two objects connected by two morphisms, and Set denotes the category of sets.
* Any group "G" can be considered as a one-object category in which every morphism is invertible. The category of all "G"-sets is the same as the functor category Set"G".
* Similar to the previous example, the category of "k"-linear representations of the group "G" is the same as the functor category k-Vect"G" (where k-Vect denotes the category of all vector spaces over the field "k").
* Any ring "R" can be considered as a one-object preadditive category; the category of left modules over "R" is the same as the additive functor category Add("R",Ab) (where Ab denotes the category of abelian groups), and the category of right "R"-modules is Add("R"op,Ab). Because of this example, for any preadditive category "C", the category Add("C",Ab) is sometimes called the "category of left modules over "C" and Add("C"op,Ab) is the category of right modules over "C".
* The category of presheaves on a topological space "X" is a functor category: we turn the topological space in a category "C" having the open sets in "X" as objects and a single morphism from "U" to "V" if and only if "U" is contained in "V". The category of presheaves of sets (abelian groups, rings) on "X" is then the same as the category of contravariant functors from "C" to Set (or Ab or Ring). Because of this example, the category Funct("C"op, Set) is sometimes called the "category of presheaves of sets on "C" even for general categories "C" not arising from a topological space. To define sheaves on a general category "C", one needs more structure: a Grothendieck topology on "C". (Some authors refer to categories that are equivalent to Set"C" as "presheaf categories". [cite book
author = Tom Leinster
year = 2004
title = Higher Operads, Higher Categories
publisher = Cambridge University Press
url = http://www.maths.gla.ac.uk/~tl/book.html
] )

Facts

Most constructions that can be carried out in "D" can also be carried out in "D""C" by performing them "componentwise", separately for each object in "C". For instance, if any two objects "X" and "Y" in "D" have a product "X"×"Y", then any two functors "F" and "G" in "D""C" have a product "F"×"G", defined by ("F"×"G")("c") = "F"("c")×"G"("c") for every object "c" in "C". Similarly, if η"c" : "F"("c")→"G"("c") is a natural transformation and each η"c" has a kernel "K""c" in the category "D", then the kernel of η in the functor category "D""C" is the functor "K" with "K"("c") = "K""c" for every object "c" in "C".

As a consequence we have the general rule of thumb that the functor category "D""C" shares most of the "nice" properties of "D":
* if "D" is complete (or cocomplete), then so is "D""C";
* if "D" is an abelian category, then so is "D""C";

We also have:
* if "C" is any small category, then the category Set"C" of presheaves is a topos.

So from the above examples, we can conclude right away that the categories of directed graphs, "G"-sets and presheaves on a topological space are all complete and cocomplete topoi, and that the categories of representations of "G", modules over the ring "R", and presheaves of abelian groups on a topological space "X" are all abelian, complete and cocomplete.

The embedding of the category "C" in a functor category that was mentioned earlier uses the Yoneda lemma as its main tool. For every object "X" of "C", let Hom(-,"X") be the contravariant representable functor from "C" to Set. The Yoneda lemma states that the assignment :X mapsto operatorname{Hom}(-,X)is a full embedding of the category "C" into the category Funct("C"op,Set). So "C" naturally sits inside a topos.

The same can be carried out for any preadditive category "C": Yoneda then yields a full embedding of "C" into the functor category Add("C"op,Ab). So "C" naturally sits inside an abelian category.

The intuition mentioned above (that constructions that can be carried out in "D" can be "lifted" to "D""C") can be made precise in several ways; the most succinct formulation uses the language of adjoint functors. Every functor "F" : "D" → "E" induces a functor "F""C" : "D""C" → "E""C" (by composition with "F"). If "F" and "G" is a pair of adjoint functors, then "F""C" and "G""C" is also a pair of adjoint functors.

The functor category "D""C" has all the formal properties of an exponential object; in particular the functors from "E" × "C" → "D" stand in a natural one-to-one correspondence with the functors from "E" to "D""C". The category Cat of all small categories with functors as morphisms is therefore a cartesian closed category.

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… …   Wikipedia

  • Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… …   Wikipedia

  • Category of rings — In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings (with identity) and whose morphisms are ring homomorphisms (preserving the identity). Like many categories in mathematics, the category of rings is… …   Wikipedia

  • Category of topological spaces — In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again… …   Wikipedia

  • Category of abelian groups — In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category.The monomorphisms in Ab are the injective group homomorphisms, the epimorphisms are the… …   Wikipedia

  • Category of relations — In mathematics, the category Rel has the class of sets as objects and binary relations as morphisms.A morphism (or arrow) R : A → B in this category is a relation between the sets A and B , so nowrap| R ⊆ A × B .The composition of two relations R …   Wikipedia

  • Category of manifolds — In mathematics, the category of manifolds, often denoted Man p , is the category whose objects are manifolds of smoothness class C p and whose morphisms are p times continuously differentiable maps. This is a category because the composition of… …   Wikipedia

  • Category of metric spaces — The category Met, first considered by Isbell (1964), has metric spaces as objects and metric maps or short maps as morphisms. This is a category because the composition of two metric maps is again metric.The monomorphisms in Met are the injective …   Wikipedia

  • Category of preordered sets — The category Ord has preordered sets as objects and monotonic functions as morphisms. This is a category because the composition of two monotonic functions is monotone.The monomorphisms in Ord are the injective monotonic functions.The empty set… …   Wikipedia

  • Category of topological vector spaces — In mathematics, the category of topological vector spaces is the category whose objects are topological vector spaces and whose morphisms are continuous linear maps between them. This is a category because the composition of two continuous linear …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”