epimorphism

right|thumb|220px

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_1 \circ f = g_2 \circ f \implies g_1 = g_2.