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