1 citations · 2 across the 3 of their papers we have counts for
4 papers
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…
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…
Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads
Adrian Miranda
We analyse compatibility between monads and monoidal structures in the two-dimensional setting. We describe sufficient conditions for monoidal structures to lift to the Eilenberg-M…
Enriched Kleisli objects for pseudomonads
Adrian Miranda
A pseudomonad on a -category whose underlying endomorphism is a -functor can be seen as a diagram for which weighted limits and col…