ScalingStacks

0NPQ

Corollary 9.24 (of proposition 9.21). There is a functor

Loc:ℳlocκ⟶ℳwlocκ¯\mathrm{Loc}:{\mathcal{M}}_{\mathrm{loc}}^{\kappa}\longrightarrow\underline{{\mathcal{M}}_{\mathrm{wloc}}^{\kappa}}

such that Loc⁡(𝒰locκ​(𝒜))≃V⁡(𝒜)\mathrm{Loc}({\mathcal{U}}_{\mathrm{loc}}^{\kappa}({\mathcal{A}}))\simeq V({\mathcal{A}}), for every small stable ∞\infty-category 𝒜{\mathcal{A}}.

0NPR

Proof. This follows from propositions 9.21 and 8.6. ∎

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