Kerodon

Corollary 9.1.2.6. Let $\operatorname{\mathcal{C}}$ be a filtered $\infty $-category (in the sense of Definition 9.1.1.1). Then $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ is a filtered category (in the sense of Definition 9.1.0.1).