Monomorfisme: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
DirlBot (overleg | bijdragen)
RudolphousBot (overleg | bijdragen)
-htmlentities
Regel 2:
 
[[Afbeelding:Monomorphism-01.png|right|thumb|220px|Schematische weergave van de mofismen ''f'', ''g''<sub>1</sub> en ''g''<sub>2</sub> uit de tekst.]]
In de meer algemene context van de [[categorietheorie (wiskunde)|categorietheorie]] is een monomorfisme (ook wel een ''monisch morfisme'' of een ''mono'' genoemd) een [[annuleerbaarheid|links-annuleerbaar]] [[morfisme]], dat is een [[afbeeldingAfbeelding (wiskunde)|afbeelding]] ''f'' : ''X'' &rarr; ''Y'' zodat voor alle morfismen ''g''<sub>1</sub>, ''g''<sub>2</sub> : ''Z'' &rarr; ''X'' geldt dat
:<math>f \circ g_1 = f \circ g_2 \Rightarrow g_1 = g_2.</math>