Functor

Full definition of functor

Noun

1. (grammar) a function word
2. (computing) a function object
3. (category theory) A morphism between two categories which maps objects from the source category to objects of the target category and arrows from the source category to arrows of the target category, in such a way as to preserve domains and codomains (of the arrows), preserve composition, and preserve identities.In the category of categories, $\backslash mathbb\{CAT\}$, the objects are categories and the morphisms are functors.

Hyponyms

• (in category theory) endofunctor

Derived terms

• contravariant functor
• functor category
• representable functor