Kerodon

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

Example 4.8.2.11. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ be its homotopy category. Then the tautological map $\operatorname{\mathcal{C}}\rightarrow \operatorname{N}_{\bullet }( \mathrm{h} \mathit{\operatorname{\mathcal{C}}} )$ exhibits $\operatorname{N}_{\bullet }( \mathrm{h} \mathit{\operatorname{\mathcal{C}}} )$ as a local $0$-truncation of $\operatorname{\mathcal{C}}$.