https://en.wikipedia.org/wiki/Epimorphismarrow-up-right
(epimorphism or epi; adjective epic)
An epimorphism is a surjective homomorphism, often denoted by ↠.
↠
An epimorphism is a morphism f : X → Y that is right-cancellative in the sense that, for all objects Z and all morphisms g₁, g₂: Y → Z, g₁ ∘ f = g₂ ∘ f → g₁ = g₂
f : X → Y
Z
g₁, g₂: Y → Z
g₁ ∘ f = g₂ ∘ f → g₁ = g₂
Last updated 4 years ago