# Kerodon

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

Remark 2.2.1.2. An equivalent formulation of Definition 2.2.1.1 was given by Bénabou in . Beware that Bénabou uses the term bicategory for what we call a $2$-category.