Kerodon

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

Remark 7.2.5.4. Let $\operatorname{\mathcal{C}}$ be an $\mathrm{h} \mathit{\operatorname{Kan}}$-enriched category. If $\operatorname{\mathcal{C}}$ is homotopy filtered (in the sense of Definition 7.2.5.1), then it is filtered when regarded as an ordinary category (in the sense of Definition 7.2.4.1). Beware that the converse is false in general (see Warning 7.2.5.7).