made with Mathematica technology MathWorld

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




CITE THIS AS:

Barile, Margherita. "Contravariant Functor." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. http://mathworld.wolfram.com/ContravariantFunctor.html

The Wolfram Demonstrations Project Browse Topics View Latest
JUST RELEASED: Wolfram Mathematica 7