A recognition criterion for lax-idempotent pseudomonads
John Bourke
TL;DR
This paper introduces a straightforward criterion for identifying lax-idempotent pseudomonads based on colax bilimits of arrows, providing a new characterization that simplifies recognition in 2-categories.
Contribution
It presents a novel, easy-to-verify criterion for recognizing lax-idempotent pseudomonads and offers a new characterization in the context of 2-categories with colax bilimits.
Findings
Criterion simplifies recognition of lax-idempotent pseudomonads
Provides a new characterization in 2-categories with colax bilimits
Eases verification in practical examples
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Fuzzy and Soft Set Theory