FUNCTOR

Functor

In mathematics, a functor is a type of mapping between categories, which is applied in category theory. Functors can be thought of as homomorphisms between categories. In the category of small categories, functors can be thought of more generally as morphisms.

The above text is a snippet from Wikipedia: Functor
and as such is available under the Creative Commons Attribution/Share-Alike License.

functor

Noun

  1. a function word
  2. a function object
  3. a structure-preserving mapping between categories: if F is a functor from category C to category D, then F maps objects of C to objects of D and morphisms of C to morphisms of D such that any morphism f:X→Y of C is mapped to a morphism F(f): F(X) → F(Y) of D, such that if <math> h = g \circ f </math> then <math> F(h) = F(g) \circ F(f)</math>, and such that identity morphisms (and only identity morphisms) are mapped to identity morphisms. Note: the functor just described is covariant.


The above text is a snippet from Wiktionary: functor
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!