On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory

Floris van Doorn

The goal of this dissertation is to present synthetic homotopy theory in the setting of homotopy type theory. We will present various results in this framework, most notably the co…