TOPICS
Search

Contravariant Functor


A functor F is called contravariant if it reverses the directions of arrows, i.e., every arrow f:A-->B is mapped to an arrow F(f):F(B)-->F(A).


See also

Covariant Functor, Functor, Hom

This 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

Subject classifications