Definitions from Wiktionary (contravariant functor)
▸ noun: (category theory) 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).
▸ Words similar to contravariant functor
▸ Usage examples for contravariant functor
▸ Idioms related to contravariant functor
▸ Wikipedia articles (New!)
▸ Words that often appear near contravariant functor
▸ Rhymes of contravariant functor
▸ Invented words related to contravariant functor
▸ noun: (category theory) 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).
Similar:
contravariance,
cofunctor,
functor,
full functor,
faithful functor,
identity functor,
functor category,
overfunctor,
subfunctor,
pseudofunctor,
more...
Opposite:
▸ Words similar to contravariant functor
▸ Usage examples for contravariant functor
▸ Idioms related to contravariant functor
▸ Wikipedia articles (New!)
▸ Words that often appear near contravariant functor
▸ Rhymes of contravariant functor
▸ Invented words related to contravariant functor