I have read around about bicategories, lax functor, lax natural transformation and modifications. I know that we have a 1category of Bicategories and lax functors. I know why we do not have a bicategory or 2category of bicategories, lax functor, and lax natural transformations, and I know that using ICONS instead of lax natural trasformations solves this problem. (or oplax, it doesn't matter)

What I cannot see is why we do not get a 3categories or tricategories of bicategories, Lax functors, ICONS and modifications? What fails? Where can I find a reference about it?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.