A morphism f:X → Y with the property that for all morphisms g between Y and Z, g1 ◦ f = g2 ◦ f ⇒ g1 = g2. In category theory, epimorphisms are the analogue of surjections. Comparemonomorphism.
Computer
A homomorphism that, when viewed as a function, is a surjection.