Corollary 9.2.3.2. Let $\kappa \leq \lambda $ be regular cardinals and let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. If $F$ is fully faithful, then the functor $\operatorname{Ind}_{\kappa }^{\lambda }(F): \operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{Ind}_{\kappa }^{\lambda }(\operatorname{\mathcal{D}})$ is fully faithful.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$