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

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 formula_4 een monomorfisme is in de duale categorie formula_5

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.
Q217413
categorietheorie
Concept
Q1948412
morfisme
Concept
Q2298524
rechts-annuleerbaar
Concept
Q229102
surjectieve functie
Concept
Q2361385
duale
Concept
Q1945067
monomorfisme
Concept
Q159943
abstracte algebra
Concept
Q1636734
universele algebra
Concept
Q229102
surjectief
Concept
Q215111
homomorfisme
Concept
Q1347208
Epimorfisme
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+4^^http://www.w3.org/2001/XMLSchema#decimal
4
NUMBER
+5^^http://www.w3.org/2001/XMLSchema#decimal
5
NUMBER
studies
subclass of
subclass of
different from
studies
different from