contravariant functor

English

Noun

contravariant functor (plural contravariant functors)

1. (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\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

category theory: functor

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