functor
- Noun. (grammar) a function word.
- Noun. (computing) a function object.
- Noun. (mathematics) 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 arrows of ''C'' to arrows of ''D'' such that any arrow ''f'':''X''→''Y'' of ''C'' is mapped to an arrow ''F''(''f''): ''F''(''X'') → ''F''(''Y'') of ''D'', such that if then , and such that identity arrows (and only identity arrows) are mapped to identity arrows. Note: the functor just described is covariant.
This is an unmodified, but possibly outdated, definition from Wiktionary and used here under the Creative Commons license. Wiktionary is a great resource. If you like it too, please donate to Wikimedia.
This entry was last updated on RefTopia from its source on 3/20/2012.