Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 11.10.1.4. Let $S$ be a simplicial set. Then the construction $X \mapsto X^{\operatorname{op}}$ determines an isomorphism of simplicial categories $\operatorname{CCart}(S) \simeq \operatorname{Cart}( S^{\operatorname{op}} )^{\operatorname{c}}$; here $\operatorname{Cart}(S^{\operatorname{op}})^{\operatorname{c}}$ denotes the conjugate of the simplicial category $\operatorname{Cart}(S^{\operatorname{op}})$ (see Example 2.4.2.12).