Erreichbare Kategorie
Eine erreichbare Kategorie ist im mathematischen Teilgebiet der Kategorientheorie eine Kategorie, die eine gewisse mengentheoretische Kleinheitsbedingung erfüllt.
Definition
Sei eine unendliche reguläre Kardinalzahl. Eine Kategorie heißt -erreichbar, falls die folgenden beiden Bedingungen erfüllt sind:
- hat alle -filtrierten Kolimiten.
- enthält eine Menge -präsentierbarer Objekte, sodass jedes Objekt von ein -filtrierter Kolimes von Objekten aus ist.
heißt erreichbar, falls eine unendliche reguläre Kardinalzahl existiert, sodass -erreichbar ist.
Literatur
- Jiří Adámek, Jiří Rosický: Locally presentable and accessible categories. LNM Lecture Notes, Cambridge University Press, 1994, ISBN 0-521-42261-2.
Weblinks
- Nlab: Accessible category
Einordnung |
| ||||||||
Konstruktionen |
Kan-Erweiterung | Monade | Komonade | Kategorie der Elemente | Kommakategorie | Pfeilkategorie | Homotopie-Kategorie | ||||||||
Resultate | Lemma von Yoneda | Fixpunktsatz von Lawvere | Einbettungssatz von Mitchell | ||||||||
Spezielle Funktoren | Hom-Funktor | Potenzmengenfunktor | Diagonalfunktor | Ext | Tor |