Corollary 9.3.5.22. Let $\kappa \leq \lambda $ be regular cardinals and let $h: \operatorname{\mathcal{C}}\rightarrow \widehat{\operatorname{\mathcal{C}}}$ be a functor of $\infty $-categories which exhibits $\widehat{\operatorname{\mathcal{C}}}$ as an $\operatorname{Ind}_{\kappa }^{\lambda }$-completion of $\operatorname{\mathcal{C}}$. Then $h$ is $\kappa $-right exact.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$