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