Epimorphism

A morphism e: A → B that is right-cancellative: for any pair of parallel morphisms g,h with codomain Y, ge = he implies g = h. It abstracts the idea of a surjective structure-preserving map in many concrete categories but is category-dependent.