epimorphism

English

Noun

epimorphism (plural epimorphisms)

1. (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.
In most everyday categories, a map is an epimorphism iff it's surjective.