Definition of "epimorphism"

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