In de context van de abstracte- of universele algebra is een monomorfisme een injectief homomorfisme. Een monomorfisme van naar wordt vaak aangeduid door de notatie .
In de meer algemene context van de categorietheorie is een monomorfisme een links-annuleerbaar morfisme, dat wil zeggen een morfisme zodat voor alle morfismen geldt dat
Monomorfismen zijn categoriale algemene vormen van injectieve functies. In sommige categorieën vallen de twee begrippen samen, maar monomorfismen zijn algemener.
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.
Literatuur
- (en) Francis Borceaux (1994), Handbook of Categorical Algebra 1 (Handboek van de categoriale algebra I), Cambridge University Press. ISBN 0-521-44178-1.
- (en) George Bergman (1998), Een uitnodiging voor een algemene- en universele algebra, Henry Helson Publisher, Berkeley. ISBN 0-9655211-4-1.
- (en) Jaap van Oosten, Basis Categorietheorie
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.