Example 7.7.1.4. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $f$ and $g$ be morphisms in $\operatorname{\mathcal{C}}$, and let $\gamma : f \rightarrow g$ be a morphism in the $\infty $-category $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$. Then $\gamma $ is cartesian (in the sense of Definition 7.7.1.1) if and only if it corresponds to a pullback diagram $\Delta ^1 \times \Delta ^1 \rightarrow \operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$