Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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$).

share|improve this question
1  
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. –  Adeel Aug 13 at 4:11
    
@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. –  Dmitry Vaintrob Aug 13 at 7:22

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.