ScalingStacks

0NN1

Proof. The result follows from theorem 6.7 and from the universal property of stabilization (i.e., [53, 1.4.5.5]). Note that stabilization preserves colimits and 𝒰addun{\mathcal{U}}_{\mathrm{add}}^{\mathrm{un}} sends split-exact sequences to cofiber sequences, so the split-exact sequence (6.2) is sent to a split cofiber sequence 𝒰add​(𝒞)≃𝒰add​(𝒜)∨𝒰add​(ℬ){\mathcal{U}}_{\mathrm{add}}({\mathcal{C}})\simeq{\mathcal{U}}_{\mathrm{add}}({\mathcal{A}})\vee{\mathcal{U}}_{\mathrm{add}}({\mathcal{B}}) in ℳadd{\mathcal{M}}_{\mathrm{add}}. ∎

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