Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.