Example 7.1.7.3. Let $K$ be a weakly contractible simplicial set and let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a left fibration of $\infty $-categories. Then every morphism $\overline{q}: K^{\triangleright } \rightarrow \operatorname{\mathcal{E}}$ is a $U$-colimit diagram (see Proposition 4.3.7.6). Similarly, if $U$ is a right fibration, then every morphism $\overline{q}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{E}}$ is a $U$-limit diagram.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$