Google
×

Epimorphism

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 g₁, g₂: Y → Z, Epimorphisms are categorical analogues ... Wikipedia