Remark 4.8.6.28. Let $m \leq n$ be integers. If $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is an $m$-categorical inner fibration, then it is also an $n$-categorical inner fibration (see Remark 4.8.1.12). In particular, $F$ is an inner fibration.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$