A morphism e: A → B that is right-cancellative: for any pair of parallel morphisms g,h with codomain Y, ge = he implies g = h. It abstracts the idea of a surjective structure-preserving map in many concrete categories but is category-dependent.

Principle

An epimorphism cannot be distinguished on the right by postcomposition: if two morphisms agree after composing with an epi then they were already equal; in Set every surjective function is an epi, though the converse and analogues depend on the category.

Demonstration

The canonical surjection p: Z → Z/nZ is an epimorphism in Set because composing any two functions that agree on Z/nZ with p yields equality; quotient maps in algebraic categories are typical examples of epis when they are surjective in the underlying sense.

Misapplication

Assuming epimorphism always means surjective in every category, or that every epi admits a section (left-inverse); in some algebraic categories epimorphisms need not be pointwise surjective or may fail to split.

Consequence

Epis serve as categorical quotients and are central to coequalizer constructions; identifying epis clarifies when a morphism imposes maximal identifications in its codomain.

Reversal

A non-epimorphism can be distinguished by suitable postcomposition: there exist distinct g,h with ge ≠ he, so e fails to impose the required identifications on the codomain.

Boundary

Epimorphism is defined purely by arrow-cancellation on the right and is not automatically a pointwise surjection except in categories like Set; its behaviour hinges on the ambient categorical axioms.

Semantic Tension

Epimorphism versus surjection: the two coincide in Set but diverge in other categories; also tension with 'regular epimorphism' or 'split epimorphism' which add properties (coequalizer, section) absent from the bare definition.

Synthesis

An epimorphism is the categorical notion of a map that imposes identifications in the codomain so that distinct postcompositions cannot be made equal by composing with it: in many concrete settings this aligns with onto maps, but the concept is fundamentally about right-cancellation of arrows.