HomeServicesBlogDictionariesContactSpanish Course
← Back to search

Meaning of contravariant functor | Babel Free

Noun CEFR B2

Definitions

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).

Equivalents

Examples

“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;.”

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Learn this word in context

See contravariant functor used in real conversations inside our free language course.

Start Free Course