Epimorphism

In the context of mathematics, particularly in category theory and algebra, an epimorphism is a morphism (or map) between two objects that generalizes the notion of an "onto" function in set theory.