contravariant functor
contravariant functor · contravariant functors
A functor which maps a morphism f:X → Y to a morphism F:F → F, such that if h=g∘f,…A functor which maps a morphism f:X → Y to a morphism F(f):F(Y) → F(X), such that if h=g∘f, then F(h)=F(f)∘F(g).
Meaning
1 sensesA functor which maps a morphism f:X → Y to a morphism F(f):F(Y) → F(X), such that if h=g∘f, then F(h)=F(f)∘F(g).
A contravariant functor F#58;#92;mathcal#123;C#125;#92;rightarrow#92;mathcal#123;D#125; is the same as a covariant functor F#58;#92;mathcal#123;C#125;#123;op#125;#92;rightarrow#92;mathcal#123;D#125;.
Translations
1 languagesForms
plural: contravariant functors| Singular | contravariant functor |
|---|---|
| Plural | contravariant functors |
regular