arXiv 2405.00488
Colax adjunctions and lax-idempotent pseudomonads
By Miloslav Štěpán
Published 2024-05-01
Citation lineage
Review the prior work and downstream research connected to this paper.
We prove a generalization of a theorem of Bunge and Gray about forming colax adjunctions out of relative Kan extensions and apply it to the study of the Kleisli 2-category for a lax-idempotent pseudomonad. For instance, we establish the weak completeness of the Kleisli 2-category and describe colax change-of-base adjunctions between Kleisli 2-categories. Our approach covers such examples as the bicategory of small p…