contravariant functor（圏論における対向函手とは）とは - 英語 - 多言語

ログインすると広告が減り、学習に集中できます。

意味・例文の表示言語

検索内容:

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

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

活用形複数形

plural of contravariant functor

In many contexts, contravariant functors arise naturally when dealing with dual spaces.

Webで検索する