Kerodon

Remark 2.2.0.9. Let $\operatorname{\mathcal{C}}$ be a $2$-category. It is generally not possible to find a strict $2$-category $\operatorname{\mathcal{C}}'$ which is isomorphic to $\operatorname{\mathcal{C}}$ (as an object of the category $\operatorname{2Cat}$ we will introduce in §2.2.5). However, it is always possibly to find a strict $2$-category $\operatorname{\mathcal{C}}'$ which is equivalent to $\operatorname{\mathcal{C}}$; we will return to this point in §.