Skip to content
TrueDictionary.org

functor

/ˈfʌŋktə/· noun

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.

What this dictionary said on its own. Nobody has bought it.

Change this meaning

Next price: $3.00

It stays on the page until someone pays $6.00.