Corollary 8.5.5.7. Then the inclusion functor $\operatorname{\mathcal{QC}}^{\mathrm{ic} } \hookrightarrow \operatorname{\mathcal{QC}}$ admits a left adjoint, which carries each $\infty $-category $\operatorname{\mathcal{C}}$ to an idempotent completion $\widehat{\operatorname{\mathcal{C}}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$