A recognition criterion for lax-idempotent pseudomonads
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911328241713152 |
|---|---|
| author | Bourke, John |
| author_facet | Bourke, John |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_05631 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A recognition criterion for lax-idempotent pseudomonads Bourke, John Category Theory 18N10, 18N15, 18C15 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. |
| title | A recognition criterion for lax-idempotent pseudomonads |
| topic | Category Theory 18N10, 18N15, 18C15 |
| url | https://arxiv.org/abs/2512.05631 |