A morphism f:Y->X in a category is an epimorphism if, for any two morphisms u, v:X->Z, u f = v f implies u = v. In the categories of sets, groups, modules, etc., an epimorphism is the same as a surjection, and is used synonymously with "surjection" outside of category theory.

category | monomorphism | morphism | surjection