Definition:Functor/Contravariant

Also see

 * Equivalence of Definitions of Contravariant Functor
 * Definition:Covariant Functor