English Dictionary

contravariant functor

名詞

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

日本語の意味

圏論における対向函手とは、対象と射を扱う函手の一種であり、射 f: X → Y に対してその像 F(f) を F(Y) → F(X) という反対方向の射に写す。つまり、合成 h = g ∘ f に対して 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).

反変関手は各射 f: X → Y を射 F(f): F(Y) → F(X) に写し、h = g ∘ f のとき 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 ）