$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Remark Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $e: X \rightarrow X$ be an split idempotent endomorphism in $\operatorname{\mathcal{C}}$, so that the diagram

\[ \cdots \rightarrow X \xrightarrow {e} X \xrightarrow {e} X \xrightarrow {e} X \xrightarrow {e} X \rightarrow \cdots \]

admits both a limit and colimit in $\operatorname{\mathcal{C}}$. The limit and colimit of this diagram are automatically preserved by any functor of $\infty $-categories $\operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$. This follows by combining Corollary with Proposition