functor

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.