Kerodon

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

Example 2.2.4.3. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be strict $2$-categories, which we regard as $\operatorname{Cat}$-enriched categories (Remark 2.2.0.2). Then strict functors from $\operatorname{\mathcal{C}}$ to $\operatorname{\mathcal{D}}$ (in the sense of Definition 2.2.4.1) can be identified with $\operatorname{Cat}$-enriched functors from $\operatorname{\mathcal{C}}$ to $\operatorname{\mathcal{D}}$ (in the sense of Definition 2.1.7.10).