Remark 4.8.6.5 (Monotonicity). 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.7.7.13).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$