Remark 7.6.2.21. In the formulation of Proposition 7.6.2.20, the diagram $\sigma $ can also be viewed as a morphism $v: g' \rightarrow g$ in the $\infty $-category $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$ (by interchanging the factors of $\Delta ^1 \times \Delta ^1$). Combining Proposition 7.6.2.20 with Remark 7.6.2.8, we see that $u$ is $\operatorname{ev}_{1}$-cartesian if and only if $v$ is $\operatorname{ev}_{1}$-cartesian.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$