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).

contravariant functor | forgetful functor | functor | hom | tensor product functor