Epimorfisme
In de categorietheorie is een epimorfisme (ook wel een episch morfisme of een epi genoemd) een morfisme  dat rechts-annuleerbaar is, wat inhoudt dat voor alle morfismen  geldt

Epimorfismen zijn analoga van surjectieve functies, maar ze zijn niet exact hetzelfde. De duale van een epimorfisme is een monomorfisme, wat wil zeggen dat een epimorfisme in een categorie  een monomorfisme is in de duale categorie 

Veel auteurs in de abstracte algebra en de universele algebra definiëren een epimorfisme simpelweg als een onto of surjectief homomorfisme. Elk epimorfisme is in deze algebraïsche zin een epimorfisme in de zin van de categorietheorie, maar het omgekeerde geldt niet voor alle categorieën.

Referenties 
Adámek, Jiří, Herrlich, Horst, & Strecker, George E. (1990). Abstract and Concrete Categories (Abstracte en concrete categorieën (4.2MB PDF). Originally publ. John Wiley & Sons. ISBN 0-471-60922-6. (now free on-line edition)
Bergman, George M. (1998), An Invitation to General Algebra and Universal Constructions (Een uitnodiging voor een algemene algebra en universele contructies), Harry Helson Publisher, Berkeley. ISBN 0-9655211-4-1.
Linderholm, Carl (1970). A Group Epimorphism is Surjective. (Een groep epimorfisme is surjectief) American Mathematical Monthly 77, pp. 176–177. Bewijs samengevat door Arturo Magidin in .

Abstracte algebra
Categorietheorie