Theorem 9.1.8.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then $\operatorname{\mathcal{C}}$ is filtered if and only if there exists a directed partially ordered set $(A, \leq )$ and a right cofinal functor $\operatorname{N}_{\bullet }(A) \rightarrow \operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$