Corollary 7.2.5.6. Let $\operatorname{\mathcal{C}}$ be a filtered $\infty $-category (in the sense of Definition 7.2.4.3). Then $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ is a filtered category (in the sense of Definition 7.2.4.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$