Cofree compositions of coalgebras (extended abstract)

We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions...

Full description

Bibliographic Details
Main Authors: Forcey, Stefan, Lauve, Aaron, Sottile, Frank
Format: Report
Language:unknown
Published: arXiv 2010
Subjects:
Online Access:https://dx.doi.org/10.48550/arxiv.1011.4305
https://arxiv.org/abs/1011.4305
Description
Summary:We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra with coalgebra map to D. We conclude by discussing these structures for compositions with bases the vertices of multiplihedra, composihedra, and hypercubes. : 13 pages, 67 .eps figures. Extended abstract for Formal Power Series and Algebraic Combinatorics, Reykjavik, Iceland June 2011