Monomorfisme
In de context van de abstracte- of universele algebra is een monomorfisme een injectief homomorfisme. Een monomorfisme van "X" naar "Y" wordt vaak aangeduid door de notatie formula_1.
In de meer algemene context van de categorietheorie is een monomorfisme (ook wel een "monisch morfisme" of een "mono" genoemd) een links-annuleerbaar morfisme, dat is een afbeelding "f" : "X" → "Y" zodat voor alle morfismen "g"1, "g"2 : "Z" → "X" geldt dat
:formula_2

Monomorfismen zijn categoriale veralgemeningen van injectieve functies; in sommige categorieën vallen de twee begrippen samen, maar monomorfismen zijn algemener, zoals wordt aangegeven in de voorbeelden hieronder.

De duale van een monomorfisme is een epimorfisme (dat wil zeggen dat een monomorfisme in een categorie "C" een epimorfisme is in de duale categorie "C"op).
Q159943
abstracte-
Concept
Q1636734
universele algebra
Concept
Q182003
injectief
Concept
Q215111
homomorfisme
Concept
Q217413
categorietheorie
Concept
Q2298524
links-annuleerbaar
Concept
Q1948412
morfisme
Concept
Q370502
afbeelding
Concept
Q182003
injectieve functie
Concept
Q719395
categorie
Concept
None
voorbeelden
UNK
Q2361385
duale
Concept
Q1347208
epimorfisme
Concept
Q1945067
Monomorfisme
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
studies
subclass of
subclass of
studies
studies
part of