epimorphism

A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g.