Im mathematischen Teilgebiet der Kategorientheorie heißt eine Kategorie ausgeglichen, wenn ein Morphismus bereits dann ein Isomorphismus ist, wenn er ein Epimorphismus und ein Monomorphismus ist.
Definitionen Bearbeiten
Es sei eine Kategorie. Ein Isomorphismus ist ein Morphismus , der eine Umkehrung besitzt, zu dem es also einen Morphismus gibt mit und . Ist die erste dieser beiden Gleichungen erfüllt, so nennt man eine Retraktion, ist die zweite erfüllt, so spricht man von einem Schnitt. Es ist klar, dass Retraktionen Epimorphismen und Schnitte Monomorphismen sind, und die Umkehrungen gelten im Allgemeinen nicht. Jedenfalls ist ein Isomorphismus automatisch ein Bimorphismus, das heißt gleichzeitig ein Epi- und ein Monomorphismus, auch hier gilt die Umkehrung im Allgemeinen nicht. Daher stellt folgende Definition eine besondere Eigenschaft von Kategorien dar:
Beispiele Bearbeiten
- Die Kategorie der Mengen ist ausgeglichen, denn die Epimorphismen sind genau die surjektiven Funktionen und die Monomorphismen genau die injektiven. In dieser Kategorie sind alle Epimorphismen Retraktionen und alle Monomorphismen Schnitte.
- Jeder Topos ist eine ausgeglichene Kategorie. Dies verallgemeinert das Beispiel der Kategorie der Mengen.
- Die Kategorien der Gruppen, der abelschen Gruppen oder Moduln über einem Ring sind ausgeglichen, auch hier sind die Epimorphismen surjektiv und die Monomorphismen injektiv, als Abbildungen der zugrundeliegenden Mengen. Beachte aber, dass es in diesen Kategorien Epimorphismen gibt, die keine Retraktionen sind, und auch Monomorphismen, die keine Schnitte sind, trotzdem liegt aber Ausgeglichenheit vor.
- Jede abelsche Kategorie ist ausgeglichen. Dies verallgemeinert das Beispiel der Kategorie der Moduln.
- Die Kategorie der kompakten Hausdorffräume mit den stetigen Abbildungen als Morphismen ist ausgeglichen. Dagegen ist die Kategorie aller topologischen Räume mit den stetigen Abbildungen keine ausgeglichene Kategorie. Es gibt stetige Bijektionen, deren Umkehrabbildung unstetig ist, siehe Gegenbeispiele.
Gegenbeispiele Bearbeiten
- Die Kategorie der topologischen Räume mit den stetigen Abbildungen als Morphismen ist nicht ausgeglichen. Ist das Einheitsintervall mit der indiskreten Topologie und das Einheitsintervall mit der diskreten Topologie, so ist ein Bimorphismus, der kein Isomorphismus, das heißt kein Homöomorphismus, ist.
- In der Kategorie der Ringe mit Einselement ist die Inklusion eine Bimorphismus, der kein Isomorphismus ist. Daher ist diese Kategorie nicht ausgeglichen.
- Volle Unterkategorien ausgeglichener Kategorien sind im Allgemeinen nicht wieder ausgeglichen. Das liegt daran, dass sich die Eigenschaften Epimorphismus und Monomorphismus, deren Definition ja Bezug auf alle Morphismen der Kategorie nimmt, beim Übergang zur Unterkategorie ändern können. So ist zum Beispiel die Kategorie der abelschen, teilbaren Gruppen eine volle Untergategorie der Kategorie der abelschen Gruppen, die nicht ausgeglichen ist. In dieser ist die Quotientenabbildung ein Bimorphismus, der kein Isomorphismus ist. Beachte, dass in der Kategorie der abelschen Gruppen kein Monomorphismus ist, wohl aber in der Kategorie der abelschen, teilbaren Gruppen.
Charakterisierung Bearbeiten
Folgende Aussagen über eine Kategorie sind äquivalent:
- ist ausgeglichen.
- Jeder Epimorphismus in ist ein extremer Epimorphismus.
- Jeder Monomorphismus in ist ein extremer Monomorphismus.
Einzelnachweise Bearbeiten
- Horst Schubert: Kategorien I, ISBN 978-3-540-04865-7, Absatz 5.3.3.
- B. Pareigis: Kategorien und Funktoren, B. G. Teubner (1969), Definition in Kapitel 1.5
- P. T. Johnstone: Topos Theory. Dover Publications, 2014, ISBN 978-0-486-49336-7, Korollar 1.22
- Jean-Pierre Marquis: From a Geometrical Point of View, Springer-Verlag 2009, ISBN 978-1-4020-9383-8, Bemerkungen zu Definition 3.11
- Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Beispiel 6.19 (3)
- Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Beispiel 6.3 (3)
- Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Satz 17.13