Epimorphism

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 g1, g2 : Y → Z,

Read more about Epimorphism.