Lokal kleine Kategorie

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen.

Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion! (Artikel eintragen)

In der Kategorientheorie ist eine lokal kleine Kategorie eine Kategorie , deren Klasse an Morphismen zwischen zwei Objekten klein (also eine Menge) ist.[1][2] Oft wird diese Eigenschaft auch direkt in der Definition einer Kategorie gefordert.[3] Zum Vergleich wird bei kleinen Kategorien gefordert, dass sogar die Klasse

.

aller Morphismen klein (also eine Menge) ist. Kleine Kategorien sind daher insbesondere lokal klein, aber die Umkehrung gilt nicht unbedingt.

Beispiele und Lemmata

[Bearbeiten | Quelltext bearbeiten]

Die Kategorie der Mengen ist lokal klein, aber nicht klein: Die Klasse aller möglichen Abbildungen zwischen allen möglichen Mengen ist selbst keine Menge, aber die Klasse aller Abbildungen für zwei fest vorgegebene Mengen und ist eine Menge. Eine Abbildung entspricht durch ihren Graphen einer Teilmenge von , also ist die Klasse oder aller Abbildungen eine Teilmenge von . Nach den Axiomen der Zermelo-Fraenkel-Mengenlehre, hier dem Potenzmengen- und dem Aussonderungsaxiom, bleibt die Eigenschaft, eine Menge zu sein, unter Bildung des kartesischen Produktes sowie der Potenz- oder Teilmenge, erhalten. Allgemeiner ist sogar jede konkrete Kategorie lokal klein: Für eine Kategorie mit einem treuen Funktor gibt es für zwei Objekte eine Injektion . Die hintere Menge ist durch das eben beschriebene Argument eine Menge und daher ebenso die vordere (welche durch die Injektion als Teilmenge der hinteren Menge betrachtet werden kann). Aus diesem Lemma folgt, dass sämtliche Kategorien aus Strukturen, die auf Mengen basieren, und die daher konkret sind, wie etwa die Kategorie der Gruppen oder die Kategorie der topologischen Räume, lokal klein sind.

Kategorie der kleinen Kategorien

[Bearbeiten | Quelltext bearbeiten]

Es gibt aufgrund mengentheoretischer Probleme keine Kategorie aller Kategorien, ähnlich wie es keine Menge aller Mengen gibt. Es ist daher notwendig, eine Einschränkung zu betrachten, also entweder die Kategorie der kleinen Kategorien, welche selbst nicht klein, aber lokal klein ist, oder die Kategorie der lokal kleinen Kategorien, welche selbst nicht lokal klein ist. Die erste Kategorie, also die Kategorie der kleinen Kategorien, wird als bezeichnet.

Externer Hom-Funktor

[Bearbeiten | Quelltext bearbeiten]

Lokal kleine Kategorien sind in der Kategorientheorie von besonderer Bedeutung, da die Einschränkung einer Hom-Klasse auf eine Hom-Menge zu einem Hom-Funktor führt. Die Wirkung auf Objekte ergibt sich aus der Definition einer lokal kleinen Kategorie. Für zwei Objekten gibt es eine Klasse an Morphismen (nach der Definition einer Kategorie), die sogar eine Menge ist (nach der Definition von lokal klein). Zur Erweiterung auf einen Funktor ist es ebenso notwendig, die Wirkung auf Morphismen zu definieren, was durch Vor- und Nachkomposition möglich ist. Für weitere Objekte sowie Morphismen und sei:

;
;
.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Locally small category. Abgerufen am 27. Juni 2023 (englisch).
  2. Emily Riehl: Category Theory in Context. S. 10 (jhu.edu [PDF]).
  3. Jiří Adámek, Horst Herrlich, George E Strecker: Abstract and Concrete Categories: The Joy of Cats. S. 18 (mta.ca [PDF]).