Word of the Day:
functor
What It Means
A category homomorphism; a morphism from a source category to a target category which maps objects to objects and arrows to arrows (either covariantly or contravariantly), in such a way as to preserve morphism composition and identities.
In the category of categories #92;mathbf#123;Cat#125; the objects are categories and the morphisms are functors.
Did You Know?
From function, modeled after factor.
Source and license
Adapted from Wiktionary: functor (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws chose the word and reformatted its meaning, examples and origin.
Cite this entry: “functor.” Word.ws, https://word.ws/functor. Based on Wiktionary, CC BY-SA 4.0.
