bn:03421363n
Noun Concept
AR
epimorphism
EN
In category theory, an epimorphism is a morphism f : X → Y that is right-cancellative in the sense that, for all objects Z and all morphisms g1, g2: Y → Z, g 1 ∘ f = g 2 ∘ f ⟹ g 1 = g 2. Wikipedia
Relations
Sources