ScalingStacks

0NQV

Lemma 10.1. The functor

Tโ€‹Hโ€‹H:Cat๐’ฎโŸถ๐’ฎTHH\colon\Cat_{\mathcal{S}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathcal{S}

induces a functor of โˆž\infty-categories

Tโ€‹Hโ€‹H:Catโˆžexโ‰ƒNโก((Cat๐’ฎ)c)โ€‹[Wโˆ’1]โŸถNโก((๐’ฎ)c)โ€‹[Wโˆ’1]โ‰ƒ๐’ฎโˆž.THH\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}.

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