Example 9.3.4.28. Let $X$ be a Kan complex, which we regard as an object of the $\infty $-category $\operatorname{\mathcal{S}}$. Using Example 9.3.4.10, we can identify $\operatorname{Sub}(X)$ with the partially ordered collection of all summands of $X$. Alternatively, we can identify $\operatorname{Sub}(X)$ with the collection of all subsets of the set $\pi _0(X)$ (see Exercise 1.2.1.16).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$