contravariant functor

Noun

 * 1)  A functor which maps a morphism f:X &rarr; Y to a morphism F(f):F(Y) &rarr; F(X), such that if $$ h = g \circ f$$, then $$ F(h) = F(f) \circ F(g)$$.
 * A contravariant functor $$ F : \mathcal{C} \rightarrow \mathcal{D}$$ is the same as a covariant functor $$F : \mathcal{C}^{op} \rightarrow \mathcal{D}$$.

Translations

 * Icelandic: hjávarpi, andbrigður varpi, mótbrigður varpi
 * Portuguese: functor/funtor contravariante