Remark 2.2.1.5. Let $\operatorname{\mathcal{C}}$ be a bicategory. Then $\operatorname{\mathcal{C}}$ can be obtained from an ordinary category (via the construction of Example 2.2.0.6) if and only if every $2$-morphism in $\operatorname{\mathcal{C}}$ is an identity $2$-morphism (note that a bicategory with this property is automatically strict, by virtue of Example 2.2.1.3).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$