All Questions
2 questions
6
votes
1
answer
315
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, ...
9
votes
1
answer
609
views
Higher-dimensional version of the "Magic Cube Lemma" for homotopy pushouts/pullbacks
The "Magic Cube Lemma" is a surprising (to me) relationship between (homotopy) pushouts and (homotopy) pullbacks of spaces:
Consider a cubical diagram $I^3\to \mathcal{S}$ in the $\infty$-category of ...