Corollary 9.2.2.12. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $W$ be the collection of all isomorphisms in $\operatorname{\mathcal{C}}$. Then $W$ is closed under transfinite composition.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$