Epimorphism
= Epimorphism
{wiki}
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.
= Epimorphism
{wiki}
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.