pith. sign in

arxiv: 1409.4688 · v1 · pith:G5QBH4OEnew · submitted 2014-09-16 · 🧮 math.CT · math.AT

Cofree coalgebras over operads and representative functions

M. Anel This is my paper
classification 🧮 math.CT math.AT
keywords cofreerepresentativefunctionssmithapproachblockcghausclosed
0
0 comments X
read the original abstract

We give a recursive formula to compute the cofree coalgebra P^\vee(C) over any colored operad P in Set, CGHaus or (dg)Vect. The construction is closed to that of Smith but different. We use a more conceptual approach to simplify the proofs that P^\vee is the cofree P-coalgebra functor and also the comonad generating P-coalgebras. In a second part, when P is a linear or dg-operad over a field, we generalize the notion of representative functions of Block & Leroux and prove that P^\vee(C) is simply the subobject of representative elements in the "completed P-algebra" P^\wedge(C). This says that our recursion (as well as that of Smith) stops at the first step.

This paper has not been read by Pith yet.

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Enriched coalgebras are sometimes comonadic

    math.CT 2026-04 unverdicted novelty 7.0

    Enriched coalgebras over unital operads in semicartesian V-categories are the coalgebras of a constructed V-comonad.

  2. Point-set models for homotopy coherent coalgebras

    math.AT 2026-01 unverdicted novelty 7.0

    Localized dg-coalgebras over a field are equivalent to coalgebras over cofibrant enriched ∞-operads via induction on cell attachments, yielding point-set models for E_n-coalgebras and cellular chains.