bn:03421363n
Noun Concept
Categories: Morphisms
EN
epimorphism  epi  epic  Epic morphism  epimorphic
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
Definitions
Relations
Sources
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
Surjective homomorphism Wikidata
A morphism p such that for any other pair of morphisms f and g, if f ∘ p = g ∘ p , then f = g. Wiktionary
Wikipedia
Wikidata
Wiktionary
Wikidata Alias