Definition 0.1
A [[../TrivialGroupoid/|morphism]] e:A→B is an epimorphism if for any two morphisms f,g:B→C, f∘e=g∘e implies f=g.
Template:CourseCat