functor
· 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.
Change this meaning
It stays on the page until someone pays $6.00.