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 not deleted user 76299

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.

1 vote

Commuting homotopy colimits and arbitrary products in spaces

I will answer my own question, in hope that it is helpful to someone. Given a functor $X:D \rightarrow Spc$ of $\infty$-categories, we can take the unstraightening of $X$ (the appropriate generalizati …
Georg Lehner's user avatar
  • 2,303
8 votes
0 answers
120 views

The homotopy inverse on Quillen's $S^{-1}S$ construction

Suppose $S$ is a symmetric monoidal groupoid. Take Quillen and Grayson's $S^{-1}S$-construction, which is a symmetric monoidal category with objects given by pairs $(m,n)$ and maps given by compositio …
Georg Lehner's user avatar
  • 2,303
2 votes

Does Grayson/Quillen's "pre group completion" have a universal property?

It is the classifying category for the left action of $C$ on its product $C \times C$. Let me elaborate on this a bit further. Let $C$ be an $E_\infty$-monoid, for example represented by a symmetric m …
Georg Lehner's user avatar
  • 2,303
6 votes
1 answer
306 views

Commuting homotopy colimits and arbitrary products in spaces

Let $X : D \rightarrow Spc$ be a diagram with values in the $\infty$-category of spaces and $I$ some (discrete) set, not necessarily finite. ($D$ can be a 1-category if that makes statements easier, b …
Georg Lehner's user avatar
  • 2,303
5 votes
0 answers
212 views

Realizing the 0-th Postnikov truncation of a spectrum in the category of orthogonal/symmetri...

Suppose $E$ is a connective spectrum, then there exists a natural map in the stable homotopy category $\mathcal{SHC}$, $E \rightarrow P_0 E$, called the $0$-th Postnikov truncation, which is character …
Georg Lehner's user avatar
  • 2,303