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

bewerken