On categories of monads and comonads in double categories
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.26755
curl -X POST /api/v1/records/arxiv/2606.26755/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.26755/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'