A Recognition Criterion for Lax-Idempotent Pseudomonads
摘要
We describe a simple criterion which makes it easy to recognise when a pseudomonad is lax-idempotent. The criterion concerns the behaviour of colax bilimits of arrows—certain comma objects—and is easy to verify in examples. Building on this, we obtain a new characterisation of lax-idempotent pseudomonads on 2-categories with colax bilimits of arrows.