Monomorfisme

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

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 X \hookrightarrow Y.

Schematische weergave van de morfismen f, g1 en g2 uit de tekst.

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 : XY zodat voor alle morfismen g1, g2 : ZX geldt dat

f \circ g_1 = f \circ g_2 \Rightarrow g_1 = g_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 Cop).

Zie ook[bewerken]

Bronnen[bewerken]