Remark 4.8.1.14. Let $n$ be an integer and let $\{ \operatorname{\mathcal{C}}_ j \} _{j \in J}$ be a collection of $(n,1)$-categories. Then the product $\operatorname{\mathcal{C}}= \prod _{j \in J} \operatorname{\mathcal{C}}_{j}$ is also an $(n,1)$-category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$