Search Results
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 |
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.
3
votes
3
answers
968
views
Precise definition of the $\infty$-category of spaces, continuous maps, homotopies, homotopi...
I heard that there is an $\infty$-category $\mathbf{Top}_\infty$ whose objects are topological spaces, whose 1-morphisms are continuous maps, whose 2-morphisms are homotopies, whose 3-morphisms are ho …
5
votes
1
answer
251
views
Example of a non-$\infty$-category whose homotopy category is a groupoid
What is an example of a simplicial set $S$ such that its homotopy category $hS$ is a groupoid, but such that $S$ is not an $\infty$-category?
I know that if $S$ is an $\infty$-category, then $S$ is a …