# Kerodon

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

Definition 1.3.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.3.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.3.5.1.

We will refer to $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ as the homotopy category of the $\infty$-category $\operatorname{\mathcal{C}}$.