Definition 0.1
A morphism e:A→B is an epimorphism if for any two morphisms f,g:B→C, f∘e=g∘e implies f=g.