A recognition criterion for lax-idempotent pseudomonads

  1. John Bourke
Read the full article See related articles

Discuss this preprint

Start a discussion What are Sciety discussions?

Listed in

This article is not in any list yet, why not save it to one of your lists.
Log in to save this article

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.

Article activity feed

  1. Version published to 10.21203/rs.3.rs-8407365/v1 on Research Square