35 citations · 58 across the 5 of their papers we have counts for
5 papers
The linear-non-linear substitution 2-monad
Martin Hyland, Christine Tasson
We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the constructio…
Measuring Comodules and Enrichment
Martin Hyland, Ignacio Lopez Franco, Christina Vasilakopoulou
This paper extends the theory of universal measuring comonoids to modules and comodules in braided monoidal categories. We generalise the universal measuring comodule Q(M,N), origi…
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Marcelo Fiore, Nicola Gambino, Martin Hyland +1
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then pr…
Hopf measuring comonoids and enrichment
Martin Hyland, Ignacio Lopez Franco, Christina Vasilakopoulou
We study the existence of universal measuring comonoids for a pair of monoids , in a braided monoidal closed category, and the associated enrichment of a category o…
Elements of a theory of algebraic theories
Martin Hyland
Kleisli bicategories are a natural environment in which the combinatorics involved in various notions of algebraic theory can be handled in a uniform way. The setting allows a clea…