ScalingStacks

0NNW

Proof. The result follows from the analogue of the argument for lemma 6.4 in the context of κ\kappa-compact objects and Indκ\Ind_{\kappa}, and from the universal property of Bousfield localization (see section 2.5 the functor ψ\psi preserves κ\kappa-filtered colimits and proposition 5.27 shows that any split-exact sequence can be approximated by a κ\kappa-filtered colimit of split-exact sequences in ℰAκ¯\underline{{\mathcal{E}}_{\mathrm{A}}^{\kappa}}). ∎

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