contravariant functor

英語（米国） (en-US) 英語（イギリス） (en-GB)

名詞

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

詳細

意味（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:𝒞ᵒᵖ→𝒟.

詳細

contravariant functors （ plural ）