Corollary 9.2.6.18. The construction $\operatorname{\mathcal{C}}\mapsto \operatorname{Ind}(\operatorname{\mathcal{C}})$ induces a bijection
\[ \xymatrix@R =50pt@C=50pt{ \{ \textnormal{Idempotent complete $\infty $-categories} \} / \textnormal{Equivalence} \ar [d]^{\sim } \\ \{ \textnormal{Compactly generated $\infty $-categories} \} / \textnormal{Equivalence}. } \]