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

covariant functor | functor | hom