functor

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

Contents

[edit] English

Wikipedia has an article on:

Wikipedia

[edit] Noun

functor (plural functors)

  1. (grammar) a function word
  2. (computing) a function object
  3. (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:XY of C is mapped to an arrow 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 arrows (and only identity arrows) are mapped to identity arrows. Note: the functor just described is covariant.

[edit] Translations

[edit] Derived terms

Personal tools
Namespaces
Variants
Views
Actions
Navigation
Toolbox
In other languages