ScalingStacks

0NPB

Proof. Recall that ℱκ{\mathcal{F}}_{\kappa} is the composite (9.3). Hence, the claim follows from the fact that the passage to Indκ\Ind_{\kappa} and to κ\kappa-compact objects preserves κ\kappa-filtered colimits [52, 5.5.7.8, 5.5.7.10, 5.5.7.11]. Since Σκ\Sigma_{\kappa} is the cofiber of the inclusion 𝒜→ℱκ{\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{F}}_{\kappa} and colimits commute, we deduce that Σκ\Sigma_{\kappa} preserves κ\kappa-filtered colimits if ℱκ{\mathcal{F}}_{\kappa} does. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4