Last Updated：2025/11/21

(category theory) A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g.

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

See correct answer

epimorphism

Source Word

epimorphism

Noun

Japanese Meaning

圏論において、任意の射 f および g に対して、f∘p = g∘p ならば f = g となる射（morphism）を指す。

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 が成り立ちます。

Sense（1）

epimorphisms

（ plural ）