AI Dictionary & Vocabulary App "DiQt"

Last Updated：2025/11/24

See correct answer

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

音声機能が動作しない場合はこちらをご確認ください

Source Sentence

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) となるように作用する。