Example 7.3.3.8. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ and $U: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be functors of $\infty $-categories. Then $F$ is $U$-left Kan extended and $U$-right Kan extended from the full subcategory $\operatorname{\mathcal{C}}\subseteq \operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$