Definition 1.4.5.3 (The Homotopy Category). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. We define a category $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ as follows:
The objects of $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ are the objects of $\operatorname{\mathcal{C}}$.
For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, we let $\operatorname{Hom}_{\mathrm{h} \mathit{\operatorname{\mathcal{C}}}}(X,Y)$ denote the collection of homotopy classes of morphisms from $X$ to $Y$ in the $\infty $-category $\operatorname{\mathcal{C}}$ (as in Construction 1.4.5.1).
For every object $X \in \operatorname{\mathcal{C}}$, the identity morphism from $X$ to itself in $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ is given by the homotopy class $[\operatorname{id}_ X]$.
Composition of morphisms is defined as in Construction 1.4.5.1.
We will refer to $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ as the homotopy category of the $\infty $-category $\operatorname{\mathcal{C}}$.