Remark 11.4.0.6. An equivalent formulation of Definition 2.2.1.1 was given by . Beware that Bénabou uses the term bicategory for what we call a $2$-category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 11.4.0.6. An equivalent formulation of Definition 2.2.1.1 was given by . Beware that Bénabou uses the term bicategory for what we call a $2$-category.