This is a question for someone who read (or wrote) enough of Lurie's HTT to know a reference. Suppose $D,E$ are small "diagram" $(\infty,1)$-categories, and $\mathcal{C}$ is a stable infinity-category fibered over $D\times E$ (i.e., we have a functor $D\times E$ to the category of stable infinity-categories with stable maps). What are some minimal conditions for the existence of an equivalence $$\text{lim}_D\text{colim}_E\mathcal{C}\cong \text{colim}_E\text{lim}_D\mathcal{C}?$$ In the (simplest) case I'm interested in, $E$ is an ordinary coproduct category, $\bullet \leftarrow \bullet \rightarrow\bullet$ and the part of $\mathcal{C}$ that lives over the middle bullet is the path category of a topological space (obtained by inverting all morphisms in the other index category $D$).
$\begingroup$
$\endgroup$
2
-
1$\begingroup$ Under appropriate assumptions one has: Proposition 5.3.3.3: filtered colimits commute with finite limits. And Lemma 5.5.8.11: sifted colimits commute with finite products. $\endgroup$– AAKCommented Aug 13, 2014 at 4:11
-
1$\begingroup$ @Adeel Thanks, but neither of these is quite what I need. I need index diagrams that are more complicated than just products (so 5.5.8.11 isn't enough), and 5.3.3.3 is only about limits/colimits in the category of spaces (I need the category of stable infty-categories). However, there is something about my case that's not that far from the category of spaces, and I'm editing the question accordingly. $\endgroup$– Dmitry VaintrobCommented Aug 13, 2014 at 7:22
Add a comment
|