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

Is there much known about the theory of lax and colax monads on a bicategory? Here, I really mean lax or colax, not weak. I'm aware of some literature about weak monads. I'm interested in distributive laws of lax and colax monads and their relationships with algebras. I've managed to prove some things, but, I don't want to reinvent the wheel.

share|cite|improve this question
up vote 2 down vote accepted

This isn't technically an answer, but depending on your examples, you might want to think about lax/colax monads on (pseudo) double categories instead. Part of the problem with lax monads on bicategories is that there is no tricategory of bicategories and lax functors, whereas there is a 2-category of pseudo double categories and lax functors, so that all of the "formal theory of monads" can be applied directly to lax monads on double categories. Most of the lax functors and lax monads that I've seen on bicategories have "actually" lived on double categories, except that people tend to forget about the extra direction of arrows and think only about the bicategory.

share|cite|improve this answer
Thanks! It will take some checking to see if what I am getting lines up with this machinery, but, I hope it does. Do you have some good references? I'm not sure where to start. – David Carchedi Apr 8 '10 at 14:00
Yes, it seems my bicategories are double categories in disguise. I'm working through some of the details. Thanks a lot! – David Carchedi Apr 13 '10 at 17:16

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.