Corollary 8.6.4.17. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a left fibration of simplicial sets. Then $U$ is a cocartesian dual of itself.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Corollary 8.6.4.17. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a left fibration of simplicial sets. Then $U$ is a cocartesian dual of itself.