Kerodon

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

Example 1.4.1.2. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\operatorname{\mathcal{D}}$ be an ordinary category. Using Proposition 1.3.5.7, we obtain a bijection

\[ \xymatrix { \{ \text{Functors of $\infty $-categories from $\operatorname{\mathcal{C}}$ to $\operatorname{N}_{\bullet }(\operatorname{\mathcal{D}})$} \} \ar [d]^{\sim } \\ \{ \text{Functors of ordinary categories from $\mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ to $\operatorname{\mathcal{D}}$}\} . } \]