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