White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

On univalence, Rezk Completeness and presentable quasi-categories

Stenzel, Raffael (2019) On univalence, Rezk Completeness and presentable quasi-categories. PhD thesis, University of Leeds.

Text (Thesis)
Stenzel_R_Mathematics_PhD_2019.pdf - Final eThesis - complete (pdf)
Available under License Creative Commons Attribution-Noncommercial-Share Alike 2.0 UK: England & Wales.

Download (1447Kb) | Preview


This thesis is concerned with constructions in fibration categories and model categories motivated by Homotopy Type Theory and the relationship between homotopical algebra and higher category theory in the sense of Joyal and Lurie. We present some general results on univalence in type theoretic fibration categories and type theoretic model categories, extending results of Shulman and generalizing results of Lumsdaine and Kapulkin. We then study the model structure for Bousfield-Segal spaces introduced by Bergner and relate the associated model structure for complete Bousfield-Segal spaces to the work of Rezk, Schwede and Shipley and of Cisinski, showing that it yields a model of Homotopy Type Theory. We further formulate and prove a strong relationship between Rezk's completeness condition of Segal objects and the univalence condition of fibrations in a large class of type theoretic model categories. We give a definition of combinatorial model categories with universal homotopy colimits and semi-left exact left Bousfield localizations. Building on results of Dugger, Rezk, Lurie and Gepner and Kock, we show that these notions relate to locally cartesian closed presentable quasi-categories and semi-left exact localizations in the sense of Gepner and Kock in the same way as model toposes and left exact Bousfield localizations in the sense of Rezk relate to Grothendieck 1-toposes and left exact localizations in the sense of Lurie. We further relate semi-left exactness to right properness. We show that relative compact maps in presentable quasi-categories are exactly those maps presented by small fibrations between fibrant objects in Dugger's model categorical "small presentation" and discuss generalizations of this comparison to simplicial presheaf categories over small simplicial categories.

Item Type: Thesis (PhD)
Related URLs:
Keywords: Homotopy Type Theory, Higher Category Theory, Homotopical Algebra, Univalence, Segal spaces
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds)
The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Identification Number/EthosID: uk.bl.ethos.778733
Depositing User: Raffael Stenzel
Date Deposited: 08 Jul 2019 12:19
Last Modified: 18 Feb 2020 12:50
URI: http://etheses.whiterose.ac.uk/id/eprint/24342

You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.

Actions (repository staff only: login required)