Corollary 11.9.1.13 (The Dual of a Path Fibration). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then the projection map $\lambda _{+}: \operatorname{Tw}(\operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}$ of Notation 8.1.1.6 is a cocartesian dual of the evaluation functor $\operatorname{ev}_{1}: \operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$