Eine simplizial angereicherte Kategorie (oft auch kurz simpliziale Kategorie, obwohl es dabei zu Verwechselungen kommen kann) ist im mathematischen Teilgebiet der Kategorientheorie eine über der Kategorie der simplizialen Mengen angereicherte Kategorie. In der höheren Kategorientheorie können diese als eine mögliche Modellierung von ∞-Kategorien benutzt werden. Zu anderen Möglichkeiten gehören simpliziale Mengen, topologische Kategorien, Segal-Räume und Segal-Kategorien.
Definition Eine simplizial angereicherte Kategorie ist eine lokal kleine über der Kategorie der simplizialen Mengen angereicherte Kategorie, also vereinfacht dass für alle Objekte die Hom-Mengen jeweils simpliziale Mengen sind (also in liegen) und die durch Komposition auf diesen induzierte Morphismen auch Morphismen zwischen simplizialen Mengen sind (also in liegen). Die (nicht mehr lokal kleine) Kategorie der simplizial angereicherten Kategorien wird als notiert.Higher Topos Theory, Definition 1.1.4.1.
Beispiele ist selbst eine simplizial angereicherte Kategorie. Deren interner Hom-Funktor ist für simpliziale Mengen gegeben durch:Higher Categories and Homotopical Algebra, Notation 1.1.13.
Verbindung zu topologischen Kategorien Sei die Kategorie der kompakt generierten Hausdorff-Räume, dann bilden die geometrische Realisierung und der singuläre Funktor eine Adjunktion mit .Higher Categories and Homotopical Algebra, Example 1.2.7. Beide Funktoren können auch auf sämtliche Hom-Mengen einer entsprechend angereicherten Kategorie angewendet werden. Eine simplizial angereicherte Kategorie erzeugt damit eine topologische Kategorie durch:
Eine topologische Kategorie erzeugt damit eine simplizial angereicherte Kategorie durch:Kerodon, Example 2.4.2.16
Dadurch ergeben sich induzierte Funktoren und eine induzierte Adjunktion mit .Higher Topos Theory, Remark 1.1.4.3.
Homotopiekategorie einer simplizial angereicherten Kategorie Die Homotopiekategorie einer simplizial angereicherten Kategorie ist:Kerodon, Construction 2.4.6.1
Dabei sind die Zusammenhangskomponenten einer simplizialen MengeHigher Categories and Homotopical Algebra, 3.1.30. und die Wegzusammenhangskomponenten eines topologischen Raumes, wobei .Kerodon, Corollary 1.2.3.19.
Zusammen mit der Homotopiekategorie einer topologischen Kategorie ist diese Operation verträglich mit den obigen Umwandlungen von topologischen und simplizial angereicherten Kategorien ineinander: Für eine topologische Kategorie gibt es also einen kanonischen Isomorphismus und für eine simplizial angereicherte Kategorie gibt es also einen kanonischen Isomorphismus .
Literatur
Weblinks
simplicially enriched category auf nLab (englisch) Jacob Lurie, Kerodon (ergänzter Inhalt von Higher Topos Theory)
Einzelnachweise
Kategorie:Kategorientheorie