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

Remark Corollary 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.3.8 (see Proposition