Kerodon

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

Warning 1.4.2.11. Let $I$ be a partially ordered set and let $\operatorname{\mathcal{C}}$ be an $\infty $-category. In the case $I = [1] \times [1]$, Exercise 1.4.2.10 implies that every functor of ordinary categories $I \rightarrow \mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ can be lifted to a functor of $\infty $-categories $\operatorname{N}_{\bullet }(I) \rightarrow \operatorname{\mathcal{C}}$. Beware that this conclusion is generally false for more complicated partially ordered sets. For example, it fails in the case $I = [1] \times [1] \times [1]$ (see Example ).