##  [Epimorphism](/epimorphism-0) 

 Definition

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

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

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

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

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

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

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

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

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.