functor
/หfสลktษ/IPA: /F AH1 NG K T ER0/
noun
- 1
(grammar) A function word.
- 2
A function object.
- 3
A category homomorphism; a morphism from a source category to a target category which maps objects to objects and arrows to arrows, in such a way as to preserve domains and codomains (of the arrows) as well as composition and identities.
โIn the category of categories, \mathbb{CAT}, the objects are categories and the morphisms are functors.โ
Translate โfunctorโ into another language
Choose a language below to open the translator with English selected as the source language.