Remark 5.2.0.8. In the preceding discussion, we have confined our attention to the case of cocartesian fibrations $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$. Of course, all of our results have counterparts for cartesian fibrations, which can be obtained from passing to opposite $\infty $-categories.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$