2024/04/01 by Miranda, Adrian
#Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2404.00900
Fuhrmann introduced Abstract Kleisli structures to model call-by-value programming languages with side effects, and showed that they correspond to monads satisfying a certain equalising condition on the unit. We first extend this theory to non-strict morphisms of monads, and to incorporate 2-cells of monads. We then further extend this to a theory of abstract Kleisli structures on 2-categories, characterising when the original pseudomonad can be recovered by the abstract Kleisli structure on its 2-category of free-pseudoalgebras.