pith. machine review for the scientific record. sign in

arxiv: 2604.09354 · v3 · submitted 2026-04-10 · 🧮 math.CT · math.AT

Recognition: unknown

Enriched coalgebras are sometimes comonadic

Ois\'in Flynn-Connolly

Pith reviewed 2026-05-10 16:33 UTC · model grok-4.3

classification 🧮 math.CT math.AT
keywords enriched coalgebrasoperadscomonadssemicartesian categoriesunital operadsco-Eilenberg-Moore categoriespointed spacesFox's theorem
0
0 comments X

The pith

Enriched coalgebras over an operad P become the coalgebras of a comonad when C is semicartesian and P is unital.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines coalgebras enriched over a symmetric monoidal V-category C for an operad P acting in C. When C is semicartesian and P is unital it builds a V-endofunctor on C from P and shows this endofunctor is often a V-comonad. The co-Eilenberg-Moore category of that comonad is isomorphic to the category of P-coalgebras. This isomorphism supplies a practical way to compute the V-category of coalgebras. The construction recovers the known comonadic description of C_n-coalgebras on pointed spaces and one direction of Fox's theorem.

Core claim

When C is semicartesian and P is unital, the V-endofunctor associated to P is a V-comonad whose co-Eilenberg-Moore V-category is isomorphic to the V-category of P-coalgebras in C. This gives a comonadic presentation of enriched coalgebras over operads and permits explicit computation of those categories in many cases.

What carries the argument

The V-endofunctor on C constructed from the operad P, which becomes a V-comonad under the semicartesian and unital hypotheses.

If this is right

  • V-categories of coalgebras become computable by first finding the associated comonad and then taking its co-Eilenberg-Moore category.
  • The comonadic description of C_n-coalgebras on pointed topological spaces enriched over topological spaces is recovered directly.
  • One direction of Fox's theorem follows as a special case of the general construction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same endofunctor construction may extend to other operad-like structures once suitable enrichment and monoidal conditions are identified.
  • Testing the isomorphism in non-semicartesian settings would clarify exactly where the comonad property breaks.
  • New concrete computations could appear in other enriched settings such as simplicial sets or chain complexes.

Load-bearing premise

C must be semicartesian and P must be unital for the associated V-endofunctor to be a comonad whose coalgebras recover the enriched P-coalgebras.

What would settle it

An explicit calculation of the category of P-coalgebras in a semicartesian C with unital P that fails to be isomorphic to the co-Eilenberg-Moore category of the constructed V-endofunctor would disprove the isomorphism claim.

read the original abstract

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\'andez, Wierstra and the present author. We further recover one direction of Fox's theorem.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces an enriched notion of coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, it constructs a V-endofunctor on C associated to P and supplies further conditions under which this endofunctor is a V-comonad whose co-Eilenberg-Moore V-category is isomorphic to the V-category of P-coalgebras in C. This construction is used to compute V-categories of coalgebras in examples, recovering the comonadic description of C_n-coalgebras from Moreno-Fernández, Wierstra and the author, as well as one direction of Fox's theorem.

Significance. If the stated conditions suffice for the isomorphism, the result supplies an explicit, constructive route from operadic coalgebras to comonads in the enriched setting. This can simplify explicit computations of coalgebra categories, particularly in topological examples, and the recovery of prior theorems serves as a consistency check. The approach is parameter-free once the semicartesian and unital hypotheses are fixed, and the manuscript ships the full construction rather than an abstract universal-property argument.

major comments (2)
  1. [§3.2] §3.2, construction of the endofunctor: the proof that the V-endofunctor is a comonad under the stated extra conditions relies on the semicartesian structure to define the counit and comultiplication; it is not clear from the text whether the same maps remain well-defined (or satisfy the comonad axioms) if the semicartesian assumption is dropped while keeping P unital. A counter-example or explicit verification that the axioms fail without semicartesianity would strengthen the necessity claim.
  2. [Theorem 4.1] Theorem 4.1 (the main isomorphism): the argument that the co-Eilenberg-Moore category of the constructed comonad recovers the V-category of P-coalgebras proceeds by exhibiting mutually inverse functors; however, the verification that these functors are V-enriched (rather than merely underlying) is only sketched. The enrichment data on the hom-objects must be checked explicitly against the definition of V-coalgebra morphisms.
minor comments (2)
  1. [§2.3] Notation for the operad action and the associated endofunctor is introduced in §2.3 but reused without re-statement in later sections; a short table or reminder of the symbols would improve readability.
  2. [§5.3] The statement of Fox's theorem recovered in §5.3 is only one direction; the paper should note explicitly which direction is obtained and whether the converse is expected to follow from the same construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, positive recommendation, and constructive suggestions. We address each major comment in turn and indicate the planned revisions.

read point-by-point responses

  1. Referee: [§3.2] §3.2, construction of the endofunctor: the proof that the V-endofunctor is a comonad under the stated extra conditions relies on the semicartesian structure to define the counit and comultiplication; it is not clear from the text whether the same maps remain well-defined (or satisfy the comonad axioms) if the semicartesian assumption is dropped while keeping P unital. A counter-example or explicit verification that the axioms fail without semicartesianity would strengthen the necessity claim.

    Authors: We agree that the semicartesian hypothesis is essential to the construction. The counit and comultiplication are defined using the terminal object of C to supply the requisite projections and units in the enriched hom-objects; without a terminal object these maps are not available in the V-category. We will add a short remark in §3.2 that spells out precisely where the definitions break in the non-semicartesian case, thereby making the necessity of the assumption explicit without a separate counter-example. revision: yes

  2. Referee: [Theorem 4.1] Theorem 4.1 (the main isomorphism): the argument that the co-Eilenberg-Moore category of the constructed comonad recovers the V-category of P-coalgebras proceeds by exhibiting mutually inverse functors; however, the verification that these functors are V-enriched (rather than merely underlying) is only sketched. The enrichment data on the hom-objects must be checked explicitly against the definition of V-coalgebra morphisms.

    Authors: We accept that the V-enrichment of the functors in the proof of Theorem 4.1 is only indicated rather than fully written out. We will expand the argument to verify explicitly that the induced maps on hom-objects coincide with the enrichment of the category of P-coalgebras, by checking compatibility with the V-action on morphisms as given in the definition of enriched coalgebra morphisms. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit construction from standard definitions

full rationale

The derivation begins from the standard definitions of enriched categories, symmetric monoidal V-categories, operads, and coalgebras, then explicitly constructs a V-endofunctor associated to P under the stated assumptions (C semicartesian, P unital). Further conditions are supplied to establish that this endofunctor is a V-comonad whose co-Eilenberg-Moore category recovers the P-coalgebras. Prior results (e.g., Moreno-Fernández–Wierstra–author on C_n-coalgebras and one direction of Fox’s theorem) appear only as recovered applications and consistency checks, not as load-bearing inputs or self-referential premises. No step reduces by definition, fitted parameter, or self-citation chain to the target claim; the argument remains self-contained against external benchmarks in enriched category theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard background assumptions from enriched category theory and operad theory; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption C is a semicartesian symmetric monoidal V-category
    Required to define the V-endofunctor associated to P and to ensure the comonad structure.
  • domain assumption P is a unital operad
    Necessary for the construction of the endofunctor and the subsequent comonad properties.

pith-pipeline@v0.9.0 · 5421 in / 1317 out tokens · 50766 ms · 2026-05-10T16:33:47.295910+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

43 extracted references · 5 canonical work pages

  1. [1]

    Arone and M

    G. Arone and M. Kankaanrinta. The sphere operad. Bull. Lond. Math. Soc. , 46(1):126--132, 2014

    2014

  2. [2]

    Aczel and N

    P. Aczel and N. Mendler. A final coalgebra theorem. In Category theory and computer science ( M anchester, 1989) , volume 389 of Lecture Notes in Comput. Sci. , pages 357--365. Springer, Berlin, 1989

    1989

  3. [3]

    Adámek, S

    J. Adámek, S. Milius, and L. S. Moss. Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors . Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2025

    2025

  4. [4]

    M. Anel. Cofree coalgebras over operads and representative functions. 2014. ArXiv preprint: 1409.4688

    work page arXiv 2014

  5. [5]

    Batanin and C

    M. Batanin and C. Berger. The lattice path operad and H ochschild cochains. In Alpine perspectives on algebraic topology , volume 504 of Contemp. Math. , pages 23--52. Amer. Math. Soc., 2009

    2009

  6. [6]

    Berger and B

    C. Berger and B. Fresse. Combinatorial operad actions on cochains. Math. Proc. Cambridge Philos. Soc. , 137(1):135--174, 2004

    2004

  7. [7]

    Berger and I

    C. Berger and I. Moerdijk. Axiomatic homotopy theory for operads. Comment. Math. Helv. , 78(4):805--831, 2003

    2003

  8. [8]

    Baez and N

    J. Baez and N. Otter. Operads and phylogenetic trees. Theory Appl. Categ. , 32:Paper No. 40, 1397--1453, 2017

    2017

  9. [9]

    Cirici, D

    J. Cirici, D. Egas Santander, M. Livernet, and S. Whitehouse. Derived A -infinity algebras and their homotopies. Topology Appl. , 235:214--268, 2018

    2018

  10. [10]

    Corner and N

    A. Corner and N. Gurski. Operads with general groups of equivariance, and some 2-categorical aspects of operads in C at, 2014. ArXiv preprint: 1312.5910

    work page arXiv 2014

  11. [11]

    Chabertier

    C. Chabertier. Higher crossed modules of algebras over an operad, ArXiv preprint: 2412.03341

    work page arXiv

  12. [12]

    Cheng and T

    E. Cheng and T. Trimble. The universal operad acting on loop spaces, and generalisations. Cah. Topol. G\'eom. Diff\'er. Cat\'eg. , 64(4):363--424, 2023

    2023

  13. [13]

    Espalungue d'Arros

    S. Espalungue d'Arros. Operads in 2-categories and models of structure interchange . Ph D thesis, Universit \'e de Lille , December 2023

    2023

  14. [14]

    Flynn-Connolly

    O. Flynn-Connolly. Higher commutativity in algebra and algebraic topology . Ph D thesis, Universit \'e Paris-Nord , October 2024

    2024

  15. [15]

    Flynn-Connolly

    O. Flynn-Connolly. Higher HKR theorems, formality, and operations on H ochschild complexes. In preparation , 2026

    2026

  16. [16]

    Flynn-Connolly

    O. Flynn-Connolly. Simplicial coendomorphism operads and coalgebras. Bull. Aust. Math. Soc. , 2026. In press

    2026

  17. [17]

    Flynn-Connolly, J

    O. Flynn-Connolly, J. M. Moreno-Fernández, and F. Wierstra. A recognition principle for iterated suspensions as coalgebras over the little cubes operad. ArXiv preprint: 2210.00839 , 2023

    work page arXiv 2023

  18. [18]

    R. C. Flagg. Quantales and continuity spaces. Algebra Universalis , 37(3):257--276, 1997

    1997

  19. [19]

    T. Fox. Coalgebras and C artesian categories. Comm. Algebra , 4(7):665--667, 1976

    1976

  20. [20]

    B. Fresse. Modules over operads and functors , volume 1967 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 2009

    1967

  21. [21]

    G. Ginot. Notes on factorization algebras, factorization homology and applications. In Mathematical aspects of quantum field theories , Math. Phys. Stud., pages 429--552. Springer, 2015

    2015

  22. [22]

    Ghani, C

    N. Ghani, C. Lüth, F. de Marchi , and J. Power. Algebras, coalgebras, monads and comonads. Electronic Notes in Theoretical Computer Science , 44(1):128--145, 2001. CMCS 2001

    2001

  23. [23]

    B. J. Guillou and J. P. May. Enriched model categories and presheaf categories. New York J. Math. , 26:37--91, 2020

    2020

  24. [24]

    Ginot, T

    G. Ginot, T. Tradler, and M. Zeinalian. Higher H ochschild cohomology, B rane topology and centralizers of E_n -algebra maps. ArXiv preprint:1205.7056 , 2012

    work page arXiv 2012

  25. [25]

    Johnson and D

    N. Johnson and D. Yau. Multifunctorial inverse K -theory. Ann. K-Theory , 7(3):507--548, 2022

    2022

  26. [26]

    C. Kachour. -operads of coendomorphisms and fractal -operads for higher structures. Categ. Gen. Algebr. Struct. Appl. , 3(1):65--88, 2015

    2015

  27. [27]

    G. Kelly. Basic concepts of enriched category theory. Repr. Theory Appl. Categ. , 2005(10):1--136, 2005

    2005

  28. [28]

    Kapulkin and N

    K. Kapulkin and N. Kershaw. Closed symmetric monoidal structures on the category of graphs. Theory Appl. Categ. , 41:Paper No. 23, 760--784, 2024

    2024

  29. [29]

    F. W. Lawvere. Metric spaces, generalized logic, and closed categories. Rend. Sem. Mat. Fis. Milano , 43:135--166, 1973

    1973

  30. [30]

    Leinster

    T. Leinster. Higher operads, higher categories , volume 298 of London Mathematical Society Lecture Note Series . Cambridge University Press, 2004

    2004

  31. [31]

    Le Grignou and D

    B. Le Grignou and D. Lejay. Operads without coalgebras. High. Struct. , 4(2):222--227, 2020

    2020

  32. [32]

    Loregian

    F. Loregian. ( C o)end calculus , volume 468 of London Mathematical Society Lecture Note Series . Cambridge University Press, 2021

    2021

  33. [33]

    Loday and B

    J.-L. Loday and B. Vallette. Algebraic operads , volume 346 of Grundlehren der mathematischen Wissenschaften . Springer, 2012

    2012

  34. [34]

    C. Malin. One-point compactifications of configuration spaces and the self duality of the little disks operad. Algebr. Geom. Topol. , 25(7):4163--4184, 2025

    2025

  35. [35]

    Aguilar Martin

    J. Aguilar Martin. The Derived Deligne Conjecture . PhD thesis, University of Kent,, March 2024

    2024

  36. [36]

    Petersen, V

    D. Petersen, V. Roca i Lucio, and S. Yalin. Point-set models for homotopy coherent coalgebras. 2026

    2026

  37. [37]

    A. M. Pitts. Nominal sets , volume 57 of Cambridge Tracts in Theoretical Computer Science . Cambridge University Press, Cambridge, 2013. Names and symmetry in computer science

    2013

  38. [38]

    E. Riehl. Category theory in context . Dover Publications, 2016

    2016

  39. [39]

    Roca i Lucio

    V. Roca i Lucio. Curved operadic calculus. Bull. Soc. Math. France , 152(1):145--147, 2024

    2024

  40. [40]

    J. R. Smith. Cofree coalgebras over operads. Topology Appl. , 133(2):105--138, 2003

    2003

  41. [41]

    N. E. Steenrod. A convenient category of topological spaces. Michigan Math. J. , 14:133--152, 1967

    1967

  42. [42]

    Villoria, H

    A. Villoria, H. Basold, and A. Laarman. Enriching diagrams with algebraic operations. In FOSSACS 2024 , pages 121--143. Springer, 2024

    2024

  43. [43]

    D. Yau. Bimonoidal categories, E_n -monoidal categories, and algebraic K -theory. V ol. I . S ymmetric bimonoidal categories and monoidal bicategories , volume 283 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2004

    2004