Showing changes from revision #23 to #24:
Added | Removed | Changed
This page is under construction. - Ali
See open problems
Feel free to add and reorganise.
Type families and fibrations
homology?
Hopf construction: H-space on gives fibration
Gysin sequence?
Hopf invariant?
Mayer-Vietoris sequence?
Blakers-Massey Theorem?
Serre spectral sequence?
Atiyah–Hirzebruch spectral sequence?
CW complex?
Cellular cohomology?
covering space?
On the homotopy groups of spheres in homotopy type theory, Guillaume Brunerie
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory, Floris van Doorn
Higher-Dimensional Types in the Mechanization of Homotopy Theory, Favonia