Difference between revisions of "Functor"
(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...) |
(No difference)
|
Revision as of 02:14, 2 September 2008
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 .
Which satisfies the conditions:
- for all .
- for all morphisms and of .
This article is a stub. Help us out by expanding it.