Kerodon

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

Example 7.1.5.4. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a fully faithful functor of $\infty $-categories. Then every morphism $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-limit diagram, and every morphism $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-colimit diagram. This follows by combining Example 7.1.4.4 with Corollary 4.6.4.20.