Covariant Functor

A functor is called covariant if it preserves the directions of arrows, i.e., every arrow is mapped to an arrow .

See also

Contravariant Functor, Forgetful Functor, Functor, Hom, Tensor Product Functor

This entry contributed by Margherita Barile

Explore with Wolfram|Alpha

More things to try:

Cite this as:

Weisstein, Eric W., with contributions by Margherita Barile. "Covariant Functor." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/CovariantFunctor.html

Subject classifications