TOPICS
Search

Covariant Functor


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


See also

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

This entry contributed by Margherita Barile

Explore with Wolfram|Alpha

Cite this as:

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

Subject classifications