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
Weblinks
Nlab: Accessible category
Kategorie:Kategorientheorie