Epimorphism
= Epimorphism
{wiki}
= Epic arrow
{synonym}
An epimorphism $e:A\to B$ is right-cancellative: $fe=ge$ implies $f=g$. In the <Category of sets> and in <abelian group>[abelian groups], epimorphisms are precisely the surjective homomorphisms.