A functor is called covariant if it preserves the directions of arrows, i.e., every arrow is mapped to an arrow .
See alsoContravariant 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