Category — reference

The Homotopy Type Theory wiki has 20 pages in this category.

- A Cubical Approach to Synthetic Homotopy Theory
- A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory
- Calculating the fundamental group of the circle in homotopy type theory
- Cellular Cohomology in Homotopy Type Theory
- Covering Spaces in Homotopy Type Theory
- Eilenberg-MacLane Spaces in Homotopy Type Theory
- Higher Groups in Homotopy Type Theory
- Higher-Dimensional Types in the Mechanization of Homotopy Theory
- Homotopy limits in type theory
- HoTT book
- Localization in Homotopy Type Theory
- Modalities in homotopy type theory
- On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory
- On the homotopy groups of spheres in homotopy type theory
- References
- Synthetic Cohomology in Homotopy Type Theory
- The join construction
- The real projective spaces in homotopy type theory
- Univalent categories and the Rezk completion
- πn(Sn) in Homotopy Type Theory