On Tue, Sep 18, 2007 at 08:58:46PM -0400, Josh Nichols-Barrer wrote:
Is there a name for a weak functor between bicategories which takes
identity 1-morphisms to identity 1-morphisms?
They are usually called 'normal', at least by the Sydney school.
Robin