What is the meaning of Contravariant_functor?

A functor which maps a morphism f:X Y to a morphism F(f):F(Y) F(X), such that if , then .

Source: wiktionary.org