A recognition criterion for lax-idempotent pseudomonads
arXiv:2512.05631 · doi:10.1007/s10485-026-09871-1
Abstract
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.
Minor updates. Final version. To appear in Applied Categorical Structures