Epimorfisme

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

In de categorietheorie is een epimorfisme (ook wel een episch morfisme of een epi genoemd) een morfisme f : XY dat rechts-annuleerbaar is in de volgende betekenis:

g1 o f = g2 o f impliceert dat g1 = g2 voor alle morfismen g1, g2 : YZ
Epimorphism-01.png

Epimorfismen zijn analogen van surjectieve functies, maar ze zijn niet exact hetzelfde. De duale van een epimorfisme is een monomorfisme (dat wil zeggen dat een epimorfisme in een categorie C een monomorfisme is in de duale categorie Cop).

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. In dit artikel wordt de term "epimorfisme", zoals hierboven al is aangegeven, gebruikt in de betekenis van de categorietheorie.

Referenties[bewerken]