On homotopy limits, completions and localizations:
On the core of a ring:
On rational homotopy theory and the fundamental theorem of dg-algebraic rational homotopy theory:
Establishing the Bousfield-Friedlander model structure, in particular the stable model structure on topological sequential spectra:
On the universal Kan fibration (origin of the univalence axiom):
Last revised on June 24, 2022 at 04:49:33. See the history of this page for a list of all contributions to it.