Homotopy Type Theory
Category — reference
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
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