Vi fant 5 definisjoner av functor på engelsk.
Substantiv |
||
| functor - A function word. | ||
| functor - A function object. | ||
| functor - 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 of C is mapped to a morphism Ff: FX → FY of D, such that if h Fg \circ Ff, and such that identity morphisms and only identity morphisms are mapped to identity morphisms. Note: the functor just described is covariant. |