Kerodon

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

Remark 4.5.1.24. We can describe the strict $2$-category $\mathrm{h}_{2} \mathit{\operatorname{\mathbf{QCat}}}$ more informally as follows:

  • The objects of $\mathrm{h}_{2} \mathit{\operatorname{\mathbf{QCat}}}$ are $\infty $-categories.

  • The morphisms of $\mathrm{h}_{2} \mathit{\operatorname{\mathbf{QCat}}}$ are functors $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$.

  • If $F_0, F_1: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ are functors between $\infty $-categories, then a $2$-morphism $F_0 \Rightarrow F_1$ in $\mathrm{h}_{2} \mathit{\operatorname{\mathbf{QCat}}}$ is a homotopy class of natural transformations from $F_0$ to $F_1$.

The strict $2$-category $\mathrm{h}_{2} \mathit{\operatorname{QCat}}$ can be described in a similar way, except that its $2$-morphisms are homotopy classes of natural isomorphisms (rather than general natural transformations).