Kerodon

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

Remark 5.1.1.2. Let $q: X \rightarrow S$ be a morphism of simplicial sets and let $q^{\operatorname{op}}: X^{\operatorname{op}} \rightarrow S^{\operatorname{op}}$ be the opposite morphism. Then an edge $e$ of $X$ is $q$-cartesian if and only if it is $q^{\operatorname{op}}$-cocartesian (where we identify $e$ with an edge of the opposite simplicial set $X^{\operatorname{op}}$).