Last modified on 9 January 2015, at 14:22

functor

EnglishEdit

Wikipedia has an article on:

Wikipedia

NounEdit

functor (plural functors)

  1. (grammar) a function word
  2. (computing) a function object
  3. (category theory) 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:XY of C is mapped to a morphism F(f): F(X) → F(Y) of D, such that if  h = g \circ f then  F(h) = F(g) \circ F(f), and such that identity morphisms (and only identity morphisms) are mapped to identity morphisms. Note: the functor just described is covariant.

HyponymsEdit

TranslationsEdit

Derived termsEdit


PortugueseEdit

Alternative formsEdit

NounEdit

functor m (plural functores)

  1. (category theory) functor (a mapping between categories)