Reguläre Monomorphismen und Epimorphismen sind Begriffe aus dem mathematischen Teilgebiet der Kategorientheorie. Es handelt sich um Verschärfungen der Monomorphismen beziehungsweise Epimorphismen.
Definition Bearbeiten
Ein Morphismus in einer Kategorie heißt regulärer Monomorphismus, falls er ein Differenzkern ist, das heißt, falls es Morphismen gibt, so dass Differenzkern von und ist.
Dual dazu definiert man:
Ein Morphismus in einer Kategorie heißt regulärer Epimorphismus, falls er ein Differenzkokern ist, das heißt, falls es Morphismen gibt, so dass Differenzkokern von und ist.
Beachte, dass Differenzkerne stets Monomorphismen und Differenzkokerne stets Epimorphismen sind, so dass es sich hier tatsächlich um Verschärfungen der Begriffe Mono- und Epimorphismus handelt.
Beispiele Bearbeiten
- In den Kategorien der Mengen, der Gruppen, der -Linksmoduln über einem Ring oder in der Kategorie der kompakten Hausdorffräume sind alle Monomorphismen und Epimorphismen automatisch regulär. Hier bringt der Begriff also nichts Neues.
- In der Kategorie der topologischen Räume mit den stetigen Abbildungen sind die regulären Monomorphismen genau die Homöomorphismen aufs Bild und die regulären Epimorphismen sind genau die topologischen Quotientenabbildungen. In dieser Kategorie findet man also mühelos Monomorphismen oder Epimorphismen, die nicht regulär sind.
- In der Kategorie der Ringe mit Eins und den Ringhomomorphismen, die das Einselement wieder auf das Einselement abbilden, ist die Inklusionsabbildung ein Monomorphismus, der nicht regulär ist.
- Retraktionen sind reguläre Epimorphismen, Koretraktionen sind reguläre Monomorphismen.
Bemerkungen Bearbeiten
- Reguläre Monomorphismen und reguläre Epimorphismen sind extrem.
- Kompositionen regulärer Monomorphismen (bzw. Epimorphismen) sind im Allgemeinen nicht regulär.
Einzelnachweise Bearbeiten
- Martin Brandenburg: Einführung in die Kategorientheorie, Springer-Verlag (2016), ISBN 978-3-662-53520-2, Definition 6.7.22
- Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Definition 16.13
- Maria Cristina Pedicchio, Walter Tholen (ed.): Categorical Foundations, Cambridge University Press (2004), Kapitel IV, Definition 2.16
- Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Beispiele 16.14
- Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Satz 16.15
- Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Satz 17.11