Erreichbare Kategorie
Zur Navigation springen
Zur Suche springen
Eine erreichbare Kategorie ist im mathematischen Teilgebiet der Kategorientheorie eine Kategorie, die eine gewisse mengentheoretische Kleinheitsbedingung erfüllt.
Definition
[Bearbeiten | Quelltext bearbeiten]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
[Bearbeiten | Quelltext bearbeiten]- Jiří Adámek, Jiří Rosický: Locally presentable and accessible categories. LNM Lecture Notes, Cambridge University Press, 1994, ISBN 0-521-42261-2 (englisch).
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Nlab: Accessible category