Enriched coalgebras are sometimes comonadic
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915971510304768 |
|---|---|
| author | Flynn-Connolly, Oisín |
| author_facet | Flynn-Connolly, Oisín |
| contents | 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 of C_n-coalgebras of Moreno-Fernández, Wierstra and the present author. We further recover one direction of Fox's theorem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_09354 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Enriched coalgebras are sometimes comonadic Flynn-Connolly, Oisín Category Theory Algebraic Topology 18M60, 18M05, 18D20, 18A05 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 of C_n-coalgebras of Moreno-Fernández, Wierstra and the present author. We further recover one direction of Fox's theorem. |
| title | Enriched coalgebras are sometimes comonadic |
| topic | Category Theory Algebraic Topology 18M60, 18M05, 18D20, 18A05 |
| url | https://arxiv.org/abs/2604.09354 |