14 citations · 36 across the 11 of their papers we have counts for
Showing cs.LOShow all
3 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…
cs.LO2021★ 6 cited
Abstract clones for abstract syntax
Nathanael Arkor, Dylan McDermott
We give a formal treatment of simple type theories, such as the simply-typed -calculus, using the framework of abstract clones. Abstract clones traditionally describe first-orde…