Monomorfisme: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
kGeen bewerkingssamenvatting |
kGeen bewerkingssamenvatting |
||
Regel 3:
In de context van de [[abstracte algebra|abstracte-]] of [[universele algebra]] is een '''monomorfisme''' een [[injectiviteit|injectief]] [[homomorfisme]]. Een monomorfisme van ''X'' naar ''Y'' wordt vaak aangeduid door de notatie <math>X \hookrightarrow Y</math>.
In de meer algemene context van de [[categorietheorie (wiskunde)|categorietheorie]] is een '''monomorfisme''' (ook wel een '''monisch morfisme''' of een '''mono''' genoemd) een [[links-annuleerbaar]] [[morfisme]], dat is een [[afbeelding (wiskunde)|afbeelding]] ''f'' : ''X'' → ''Y'' zodat voor alle morfismen ''g''<sub>1</sub>, ''g''<sub>2</sub> : ''Z'' → ''X'' geldt dat
:<math>f \circ g_1 = f \circ g_2 \Rightarrow g_1 = g_2.</math>
| |||