Erreichbare Kategorie

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Eine erreichbare Kategorie ist im mathematischen Teilgebiet der Kategorientheorie eine Kategorie, die eine gewisse mengentheoretische Kleinheitsbedingung erfüllt.

Sei eine unendliche reguläre Kardinalzahl. Eine Kategorie heißt -erreichbar, falls die folgenden beiden Bedingungen erfüllt sind:

heißt erreichbar, falls eine unendliche reguläre Kardinalzahl existiert, sodass -erreichbar ist.

  • Jiří Adámek, Jiří Rosický: Locally presentable and accessible categories. LNM Lecture Notes, Cambridge University Press, 1994, ISBN 0-521-42261-2 (englisch).