12 citations · 14 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 2 cited
Canonical Gradings of Monads
Flavien Breuvart, Dylan McDermott, Tarmo Uustalu
We define a notion of grading of a monoid T in a monoidal category C, relative to a class of morphisms M (which provide a notion of M-subobject). We show that, under reasonable con…
cs.LO2022★ 12 cited
What Makes a Strong Monad?
Dylan McDermott, Tarmo Uustalu
Strong monads are important for several applications, in particular, in the denotational semantics of effectful languages, where strength is needed to sequence computations that ha…