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