Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 7.1.7.21. Corollary 7.1.7.20 has an obvious counterpart for $U$-limit diagrams under the assumption that $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a cocartesian fibration, which can be proved in the same way. It also has a more subtle counterpart for $U$-colimit diagrams when $U$ is a cocartesian fibration (or $U$-limit diagrams when $U$ is a cartesian fibration), which we will discuss in ยง7.4.8 (see Proposition 7.4.8.2).