Internal Higher Categories and Applications

Dokumentenart:	Hochschulschrift der Universität Regensburg (Dissertation)
Open Access Art:	Primärpublikation
Datum:	27 März 2025
Begutachter (Erstgutachter):	Prof. Dr. Denis-Charles Cisinski
Tag der Prüfung:	20 Dezember 2024
Institutionen:	Mathematik > Prof. Dr. Denis-Charles Cisinski
Projekte:	SFB 1085: Höhere Invarianten – Wechselwirkungen zwischen Globaler Analysis und Arithmetischer Geometrie Gefördert von: Deutsche Forschungsgemeinschaft (DFG) (224262486)
Stichwörter / Keywords:	Internal higher Category Theory, Higher Topos theory, étale homotopy type.
Dewey-Dezimal-Klassifikation:	500 Naturwissenschaften und Mathematik > 510 Mathematik
Status:	Veröffentlicht
Begutachtet:	Ja, diese Version wurde begutachtet
An der Universität Regensburg entstanden:	Ja
Dokumenten-ID:	76465

Zusammenfassung (Englisch)

The goal of this thesis is to develop the theory of infinity-categories internal to an arbitrary infinity-topos B. These objects can be defined as complete Segal objects in B or equivalently as sheaves of infinity-categories on B, and we will simply refer to them as B-categories for short. Here we develop an extensive amount of tools that are needed to efficiently work with these objects in ...

Zusammenfassung (Englisch)

The goal of this thesis is to develop the theory of infinity-categories internal to an arbitrary infinity-topos B.
These objects can be defined as complete Segal objects in B or equivalently as sheaves of infinity-categories on B, and we will simply refer to them as B-categories for short. Here we develop an extensive amount of tools that are needed to efficiently work with these objects in practice.

Beginning with the theory of adjunctions, we define notions of limits and colimits in B-categories and prove that presheaf $ B-categories are free cocompletions. We continue by developing a theory of accessible and presentable B-categories and finally we study B-topoi. Here one of our main results is that B-topoi are equivalent to relative topoi over B, so geometric morphism with target B. We then apply this result to study smooth and proper geometric morphisms of infinity-topoi from an internal point of view. We conclude with an application in étale homotopy theory where we use some of our machinery to construct and understand a condensed refinement of the usual étale homotopy type of schemes. [math mode missing closing $]

Übersetzung der Zusammenfassung (Deutsch)

Das Ziel dieser Arbeit ist es, die Theorie der unendlich-Kategorien intern zu einem beliebigen unendlich-Topos B zu entwickeln. Diese Objekte können als vollständige Segal-Objekte in B oder äquivalent als Garben von unendlich-Kategorien auf B definiert werden, und wir bezeichnen sie einfach als B-Kategorien. In dieser Arbeit entwickeln wir eine umfangreiche Sammlung von Werkzeugen, die benötigt ...

Übersetzung der Zusammenfassung (Deutsch)

Das Ziel dieser Arbeit ist es, die Theorie der unendlich-Kategorien intern zu einem beliebigen unendlich-Topos B zu entwickeln. Diese Objekte können als vollständige Segal-Objekte in B oder äquivalent als Garben von unendlich-Kategorien auf B definiert werden, und wir bezeichnen sie einfach als
B-Kategorien. In dieser Arbeit entwickeln wir eine umfangreiche Sammlung von Werkzeugen, die benötigt werden, um mit diesen Objekten in der Praxis effizient zu arbeiten.

Ausgehend von der Theorie der Adjunktionen definieren wir Begriffe von Limiten und Kolimiten in B-Kategorien und zeigen, dass Prägarben-B-Kategorien freie Kovervollständigungen sind. Anschließend entwickeln wir eine Theorie der zugänglichen und präsentierbaren B-Kategorien und untersuchen schließlich B-Topoi. Eines unserer Hauptresultate hier ist, dass
B-Topoi äquivalent zu relativen Topoi über B sind, also zu geometrischen Morphismen mit Ziel B. Dieses Resultat wenden wir dann an, um glatte und eigentliche geometrische Morphismen von unendlich-Topoi aus einer internen Perspektive zu untersuchen.

Abschließend präsentieren wir eine Anwendung in der étalen Homotopietheorie, in der wir einige unserer entwickelten Methoden nutzen, um eine kondensierte Verfeinerung des üblichen étalen Homotopietyps von Schemata zu konstruieren und zu untersuchen.

Details

Vorschau

Bibliographische Daten exportieren

Zusammenfassung (Englisch)

Zusammenfassung (Englisch)

Übersetzung der Zusammenfassung (Deutsch)

Übersetzung der Zusammenfassung (Deutsch)

Downloadstatistik

Downloads

Weitere Literatur (mittels CORE)

Universitätsbibliothek