Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 174414

Homotopy theory is an important sub-field of algebraic topology. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. Chief among these are the homotopy groups of spaces, specifically those of spheres. Homotopy theory includes a broad set of ideas and techniques, such as cohomology theories, spectra and stable homotopy theory, model categories, spectral sequences, and classifying spaces.

7 votes

What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky?

For the record, a precise disproof of Lemma 3.4 seems to be in this preprint of Amar Hadzihasanovic Diagrammatic sets and rewriting in weak higher categories. Further recent developments involving dia …
Guillaume Laplante-Anfossi's user avatar
1 vote

What is a homotopy between $L_\infty$-algebra morphisms

For a few "concrete" notions of homotopies between $L_\infty$ morphisms (and more generally $\mathcal{P}_\infty$ morphisms for a Koszul operad $\mathcal{P}$), and how they relate to each other, I woul …
Guillaume Laplante-Anfossi's user avatar