A contravariant functor is a type of mapping between categories that reverses the direction of morphisms, transforming a morphism from object A to object B in one category into a morphism from the image of B to the image of A in another category. This reversal property distinguishes contravariant functors from covariant functors, which preserve the direction of morphisms.