AI Dictionary & Vocabulary App "DiQt"

Last Updated：2025/11/21

See correct answer

If p is an epimorphism in a category, then whenever two morphisms f and g satisfy f∘p = g∘p, it follows that f = g.

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

Source Sentence

If p is an epimorphism in a category, then whenever two morphisms f and g satisfy f∘p = g∘p, it follows that f = g.

p がある圏で右取消し性（すなわち任意の射 f と g について f∘p = g∘p ならば f = g となる性質）を持つ射であれば、f∘p = g∘p のとき常に f = g が成り立ちます。