MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

As well know in category theory (see Mac Lane book) there are (very useful, and theoretically deep) coherent theorem for various categorical setting: monoidal, symmetric monoidal, braided monoidal (tortile..) bicategory, and pseudofunctor (coherence of canonical morphisms of a pseudofunctors and these of its codomain bicategory, a further case about is ifrations by clivage...).

What about the (partial of course) coherence criterion of a lax.functor between bicategories (lax. generalization of the pseudo.functor result )?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.