Remark 4.7.7.13 (Monotonicity). Let $\operatorname{\mathcal{C}}$ be an $m$-category for some integer $m$. Then $\operatorname{\mathcal{C}}$ is an $n$-category for every integer $n \geq m$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 4.7.7.13 (Monotonicity). Let $\operatorname{\mathcal{C}}$ be an $m$-category for some integer $m$. Then $\operatorname{\mathcal{C}}$ is an $n$-category for every integer $n \geq m$.