Showing changes from revision #17 to #18:
Added | Removed | Changed
This page is under construction. - Ali
See open problems
homotopy cofiber?
smash product $X \wedge Y$
I would like to include some articles about spectra here. This would probably absorb homological algeba. Floris van Doorn’s thesis should be a good start.
On the homotopy groups of spheres in homotopy type theory Guillaume Brunerie’s thesis. Covers:
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory Floris van Doorn’s thesis
Higher-Dimensional Types in the Mechanization of Homotopy Theory Favonia’s thesis
Revision on October 17, 2018 at 11:17:14 by Ali Caglayan. See the history of this page for a list of all contributions to it.