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

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)

.

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

Beispiele und Lemmata

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

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

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
  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]).