Remark 4.8.1.13 (Symmetry). Let $n$ be an integer and let $\operatorname{\mathcal{C}}$ be an $(n,1)$-category. Then the opposite simplicial set $\operatorname{\mathcal{C}}^{\operatorname{op}}$ is also an $(n,1)$-category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$