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 . {\displaystyle g_{1}\circ f=g_{2}\circ f\implies g_{1}=g_{2}.} Some authors use the adjective epi (an epimorphism is a morphism which is epi).
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 . {\displaystyle g_{1}\circ f=g_{2}\circ f\implies g_{1}=g_{2}.} Some authors use the adjective epi (an epimorphism is a morphism which is epi).
Source: Wikipedia "Epimorphism" · CC BY-SA 4.0
Share this article: X · Bluesky