Kerodon

Warning 2.2.4.6. The terminology of Definition 2.2.4.5 is not standard. In [MR0220789], Bénabou uses the term morphism for what we call a lax functor of bicategories, homomorphism for what we call a functor of bicategories, and strict homomorphism for what we call a strict functor of bicategories. Other authors refer to functors of bicategories (in the sense of Definition 2.2.4.5) as weak functors or pseudofunctors (to avoid confusion with the notion of strict functor).