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.
From: Christina Vasilakopoulou [view email]
[v1]
Thu, 25 Jun 2026 08:40:18 UTC (50 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。