Epimorfisme

In de categorietheorie is een epimorfisme (ook wel een episch morfisme of een epi genoemd) een morfisme $f:X\to Y$ dat rechts-annuleerbaar is, wat inhoudt dat voor alle morfismen $g,h:Y\to Z$ geldt

$g\circ f=h\circ f⟹g=h.$

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 ${𝒞}^{op}.$

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 [1].