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 ${\displaystyle h=g\circ f}$, then ${\displaystyle F(h)=F(f)\circ F(g)}$.

Source: wiktionary.org