Example 9.4.5.3. 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.2).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$