In category theory and functional programming, a functor that reverses the direction of morphisms between categories in a way that is contravariant.

"Contravariant functors are used in programming to model transformations that reverse the direction of effects, such as input operations."