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