14 citations · 36 across the 11 of their papers we have counts for
Showing 2023Show 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…
math.CT2023★ 2 cited
Relative monadicity
Nathanael Arkor, Dylan McDermott
We establish a relative monadicity theorem for relative monads with dense roots in a virtual equipment, specialising to a relative monadicity theorem for enriched relative monads.…
math.CT2023★ 14 cited
The formal theory of relative monads
Nathanael Arkor, Dylan McDermott
We develop the theory of relative monads and relative adjunctions in a virtual equipment, extending the theory of monads and adjunctions in a 2-category. The theory of relative com…