Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

contravariant functor en · NOUN

Meanings

  1. 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).
    • 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;.

Forms

SpellingFeaturesLabelsSource
contravariant functors Number=Plur lexicographic

Translations (4)

is andbrigður varpi (category theory: functor) · is mótbrigður varpi (category theory: functor) · is hjávarpi (category theory: functor) · pt functor/funtor contravariante (category theory: functor)