Etymology
Today it means: A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g. Full definition →
From epi- + morphism.
Etymology from Wiktionary, CC BY-SA 4.0.