Corollary 8.6.3.18. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then the evaluation map $\operatorname{ev}_0: \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}$ is a cartesian conjugate of the cocartesian fibration $\lambda _{-}: \operatorname{Tw}(\operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}^{\operatorname{op}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$