Remark 5.6.6.8. Let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{S}}$ be a functor of $\infty $-categories. Then the construction $Y \mapsto \pi _0( \mathscr {F}(Y) )$ determines a functor from the homotopy category $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ to the category of sets, which we will denote by $\pi _0( \mathscr {F} )$. Suppose that $X$ is an object of $\operatorname{\mathcal{C}}$ and $x \in \mathscr {F}(X)$ exhibits $\mathscr {F}$ as corepresented by $X$. Then, for every object $Y \in \operatorname{\mathcal{C}}$, evaluation on the connected component $[x] \in \pi _0( \mathscr {F}(X) )$ induces a bijection
It follows that the functor $\pi _0(\mathscr {F}): \mathrm{h} \mathit{\operatorname{\mathcal{C}}} \rightarrow \operatorname{Set}$ is corepresentable by $X$, in the sense of classical category theory.