Enriched coalgebras are sometimes comonadic
We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a V-comonad with co-Eilenberg-Moore V-category isomorphic to the V-category of P-coalgebras in C. In many cases, this permits computation of V-categories of coalgebras. The key example is the category of pointed topological spaces with wedge product, enriched over topological spaces with Cartesian product, where this construction recovers the comonadic description…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.09354
curl -X POST /api/v1/records/arxiv/2604.09354/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.09354/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'