English Dictionary

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

The contravariant functor allows for the mapping of functions that go in the opposite direction of the original mapping.

意味（1）

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

A contravariant functor F:𝒞→𝒟 is the same as a covariant functor F:𝒞ᵒᵖ→𝒟.