Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 1.4.0.9. Suppose we are given a filtered diagram of simplicial sets $\{ S(\alpha ) \} $ having colimit $S = \varinjlim S(\alpha )$. If each $S(\alpha )$ is an $\infty $-category, then $S$ is an $\infty $-category.