In a nutshell, a contravariant functor is one that flips morphisms.