A Recognition Criterion for Lax-Idempotent Pseudomonads
Abstract
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.
Fields of Study & Subjects
Homotopy and Cohomology in Algebraic Topology
Algebraic structures and combinatorial models
Fuzzy and Soft Set Theory
Publication details
- Journal / source
- Applied Categorical Structures
- Publisher
- Springer Science and Business Media LLC
- Volume
- 34
- Issue
- 4
- Publication date
- 12 June 2026
- Language
- EN