epimorphism
noun
°A map f such that whenever g composed with f equals h composed with f, then g=h. In most everyday categories, a map is an epimorphism iff it's surjective.