On categories of monads and comonads in double categories

Abstract

As is well known in the literature, the category Mon(V) of monoids in a monoidal category V satisfies various fundamental categorical properties, at least when the monoidal base V is correspondingly well-behaved. In particular, Mon(V) is monadic over V as soon as free monoids exist, while if V is cocomplete or locally presentable and its tensor b is sufficiently compatible with the appropriate colimits, then Mon(V) inherits the analogous property. In the present work, we extend such results to the context of double categories. More precisely, we identify conditions on a double category D under which one can show that the category Mnd(D) of monads in D is monadic over the category of endomorphisms End(D), is cocomplete or even locally presentable. We also tackle the issue of local presentability in the dual case Cmd(D) of comonads. In these results, our assumptions on the double category D revolve around notions of colimit, in particular those of parallel and stable local colimits, as well as a notion of local presentability of a double category which has been introduced in previous work.