A functor is called contravariant if it reverses the directions of arrows, i.e., every arrow is mapped to an arrow .
See alsoCovariant Functor, Functor, Hom
This entry contributed by Margherita Barile
Explore with Wolfram|Alpha
Cite this as:
Barile, Margherita. "Contravariant Functor." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/ContravariantFunctor.html