Kerodon

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

Warning 2.2.6.4. The notions of isomorphism and strict isomorphism of bicategory are somewhat artificial. As in classical category theory, there is notion of equivalence of bicategory (Definition ) which is more general than isomorphism and more appropriate for describing articulating the idea that bicategories are “the same.”