Definition 8.5.3.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. An idempotent in $\operatorname{\mathcal{C}}$ is a functor of $\infty $-categories $\operatorname{N}_{\bullet }( \operatorname{Idem}) \rightarrow \operatorname{\mathcal{C}}$. Here $\operatorname{Idem}$ denotes the category introduced in Construction 8.5.2.7.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$