PlanetPhysics/Epimorphism2

Definition 0.1

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