ScalingStacks

0NQX

Proof. The cyclic bar construction commutes with filtered homotopy colimits of spectral categories. Furthermore, T​H​H​(−)THH(-) takes exact sequences of spectral categories to exact sequences of spectra [10, 7.1]. Therefore, the induced functor on ∞\infty-categories is a localizing invariant. ∎

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