Homotopy Type Theory
Category — reference

Overview

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

Pages

• 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