PlanetPhysics/Epimorphism2

Definition 0.1

A [[../TrivialGroupoid/|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$.