Definition 0.1

A morphism ${\displaystyle e:A\to B}$ is an epimorphism if for any two morphisms ${\displaystyle f,g:B\to C}$, ${\displaystyle f\circ e=g\circ e}$ implies ${\displaystyle f=g}$.