Homotopy Type Theory
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory

On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory, Floris van Doorn, Ph.D. Thesis 2018

Links

• arXiv:1808.10690
• hompage link
• wayback machine link

See also

• Spectral sequence
• cohomology
• Synthetic homotopy theory
• References