RhymeZone: epimorphism definitions

Definitions of epimorphism:

noun: (category theory) A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g.

(Definitions from Wiktionary)