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}.