Kerodon

Corollary 9.1.8.10. Let $\operatorname{\mathcal{C}}$ be a filtered $\infty $-category having countably many simplices. Then there exists a right cofinal functor $F: \operatorname{N}_{\bullet }( \operatorname{\mathbf{Z}}_{\geq 0} ) \rightarrow \operatorname{\mathcal{C}}$. Here $\operatorname{\mathbf{Z}}_{\geq 0}$ denotes the set of non-negative integers, equipped with its usual ordering.