Remark 8.1.9.6. In the situation of Definition 8.1.9.5, the edge $\overline{f}$ admits $U$-cocartesian lifts if and only if it it admits $U^{\operatorname{op}}$-cartesian lifts, when regarded as an edge of the opposite simplicial set $\operatorname{\mathcal{E}}^{\operatorname{op}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$