epimorphism in Bulgarian

(category theory) A morphism p such that for any other pair of morphisms f and g, if f \circ p = g \circ p, then f = g.