Example 8.5.6.4. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories which exhibits $\operatorname{\mathcal{D}}$ as an idempotent completion of $\operatorname{\mathcal{C}}$. Then $F$ is a Morita equivalence (Proposition 8.5.5.3).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$