Corollary 8.1.1.12. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then the simplicial set $\operatorname{Tw}(\operatorname{\mathcal{C}})$ is also an $\infty $-category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Corollary 8.1.1.12. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then the simplicial set $\operatorname{Tw}(\operatorname{\mathcal{C}})$ is also an $\infty $-category.
Proof. Combine Proposition 8.1.1.11 with Remark 4.1.1.9. $\square$