Functor
Revision as of 01:14, 2 September 2008 by Jam (talk | contribs) (New page: A '''functor''' is a type of map between two categories. More precisely, a functor <math>F:\mathcal{C} \to \mathcal{D}</math> is a mapping which * sends eve...)
A functor is a type of map between two categories.
More precisely, a functor 
is a mapping which
- sends every object
of 
to and object 
of 
. - sends every morphism
of to a morphism 
of .
of 
to and object 
of 
.
of 
of Which satisfies the conditions:
for all 
.
for all morphisms and 
of .
for all 
.
for all morphisms 
of This article is a stub. Help us out by expanding it.
