最終更新日:2024/07/29
(category theory) A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g.
正解を見る
epimorphism
編集履歴(0)
(category theory) A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g.
epimorphism