2 papers
math.CT2025
Abstract Kleisli Structures on 2-categories
Adrian Miranda
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 equal…
math.CT2024
Tricategorical Universal Properties Via Enriched Homotopy Theory
Adrian Miranda
We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enric…