Contravariant functor

English

Noun

1. Template:Lb 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)$.

   Template:Ux

Translations

• Icelandic: Template:T, Template:T, Template:T
• Portuguese: Template:T