Regulärer Monomorphismus und Epimorphismus

Reguläre Monomorphismen u​nd Epimorphismen s​ind Begriffe a​us dem mathematischen Teilgebiet d​er Kategorientheorie. Es handelt s​ich um Verschärfungen d​er Monomorphismen beziehungsweise Epimorphismen.

Definition

Ein Morphismus ${\displaystyle e:Z\rightarrow X}$ in einer Kategorie heißt regulärer Monomorphismus, falls er ein Differenzkern ist, das heißt, falls es Morphismen ${\displaystyle f,g:X\rightarrow Y}$ gibt, so dass ${\displaystyle e}$ Differenzkern von ${\displaystyle f}$ und ${\displaystyle g}$ ist.

Dual d​azu definiert man:

Ein Morphismus ${\displaystyle e:Y\rightarrow Z}$ in einer Kategorie heißt regulärer Epimorphismus, falls er ein Differenzkokern ist, das heißt, falls es Morphismen ${\displaystyle f,g:X\rightarrow Y}$ gibt, so dass ${\displaystyle e}$ Differenzkokern von ${\displaystyle f}$ und ${\displaystyle g}$ ist.[1][2][3]

Beachte, d​ass Differenzkerne s​tets Monomorphismen u​nd Differenzkokerne s​tets Epimorphismen sind, s​o dass e​s sich h​ier tatsächlich u​m Verschärfungen d​er Begriffe Mono- u​nd Epimorphismus handelt.

Beispiele

• In den Kategorien der Mengen, der Gruppen, der ${\displaystyle R}$-Linksmoduln über einem Ring ${\displaystyle R}$ 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 ${\displaystyle \mathbb {Z} \hookrightarrow \mathbb {Q} }$ ein Monomorphismus, der nicht regulär ist.[4]
• Retraktionen sind reguläre Epimorphismen, Koretraktionen sind reguläre Monomorphismen.[5]

Bemerkungen

• Reguläre Monomorphismen und reguläre Epimorphismen sind extrem.[6]
• Kompositionen regulärer Monomorphismen (bzw. Epimorphismen) sind im Allgemeinen nicht regulär.

Einzelnachweise

1. Martin Brandenburg: Einführung in die Kategorientheorie, Springer-Verlag (2016), ISBN 978-3-662-53520-2, Definition 6.7.22
2. Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Definition 16.13
3. Maria Cristina Pedicchio, Walter Tholen (ed.): Categorical Foundations, Cambridge University Press (2004), Kapitel IV, Definition 2.16
4. Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Beispiele 16.14
5. Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Satz 16.15
6. Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Satz 17.11