Let be a morphism in Category
We say is an epimorphism if

for all
We denote epimorphisms by

In Category of Sets, epimorphisms are surjective.