A contravariant functor is a Functor (see Opposite Category)
(as opposed to a Covariant Functor)