On univalence, Rezk Completeness and presentable quasi-categories

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

Abstract

Metadata

Related URLs:
Keywords: Homotopy Type Theory, Higher Category Theory, Homotopical Algebra, Univalence, Segal spaces
Awarding institution: University of Leeds
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 (e.g. uk.bl.ethos.123456): uk.bl.ethos.778733
Depositing User: Raffael Stenzel
Date Deposited: 08 Jul 2019 12:19
Last Modified: 18 Feb 2020 12:50

Download

Final eThesis - complete (pdf)

Filename: Stenzel_R_Mathematics_PhD_2019.pdf

Description: Thesis

Licence: Creative Commons Attribution Non-commercial Share Alike (UK)

Share / Export


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.