Page "Category theory" Paragraph 50

A contravariant functor, is like a covariant functor, except that it " turns morphisms around " (" reverses all the arrows ").

More specifically, every morphism in C must be assigned to a morphism in D. In other words, a contravariant functor acts as a covariant functor from the opposite category C < sup > op </ sup > to D.