Contextualizebeta

contravariant functor

noun

Definitions

  1. A functor which maps a morphism 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).

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

The neighborhood

Vish — recursive loop

No curated loop yet for contravariant functor. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA