ScalingStacks

0NR5

Lemma 10.7. The functors

Tโ€‹Rn,Tโ€‹Cn,Tโ€‹C:Cat๐’ฎโŸถ๐’ฎTR^{n},TC^{n},TC\colon\Cat_{\mathcal{S}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathcal{S}

induces functors of โˆž\infty-categories

Tโ€‹Rn,Tโ€‹Cn,Tโ€‹C:Catโˆžexโ‰ƒNโก((Cat๐’ฎ)c)โ€‹[Wโˆ’1]โŸถNโก((๐’ฎ)c)โ€‹[Wโˆ’1]โ‰ƒ๐’ฎโˆž.TR^{n},TC^{n},TC\colon\Cat_{\infty}^{\ex}\simeq\mathrm{N}((\Cat_{\mathcal{S}})^{\mathrm{c}})[W^{-1}]\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathrm{N}((\mathcal{S})^{\mathrm{c}})[W^{-1}]\simeq{\mathcal{S}}_{\infty}.
0NR6

Proof. Byย [10, 3.9], maps which induce equivalences on Tโ€‹Hโ€‹HTHH induce equivalences on Tโ€‹RnTR^{n}, Tโ€‹CnTC^{n}, and Tโ€‹CTC. As a consequence, the result follows from lemmaย 10.1. โˆŽ

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