Epimorphism

In category theory, an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism f : X → Y which is right-cancellative in the sense that, for all morphisms g₁, g₂ : Y → Z,