Example 8.5.5.2. The inclusion functor $\operatorname{N}_{\bullet }(\operatorname{Idem}) \hookrightarrow \operatorname{N}_{\bullet }( \operatorname{Ret})$ exhibits the $\infty $-category $\operatorname{N}_{\bullet }(\operatorname{Ret})$ as an idempotent completion of $\operatorname{N}_{\bullet }(\operatorname{Idem})$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$