contravariant functor

== English == === Noun === contravariant functor (plural contravariant functors) (category theory) A functor which maps a morphism f:X → Y to a morphism F(f):F(Y) → F(X), such that if h = g ∘ f {\displaystyle h=g\circ f} , then F ( h ) = F ( f ) ∘ F ( g ) {\displaystyle F(h)=F(f)\circ F(g)} . ==== Translations ====