Epimorphism2 2010-11-01 02:29:13 2010-11-01 02:29:13 Definition \textbf{Definition 0.1} A morphism $e: A \to B$ is an \emph{epimorphism} if for any two morphisms $f,g: B \to C$ $f\circ e=g\circ e$ implies $f=g$.