Discrete Mathematics & Theoretical Computer Science |

- 1 Department of Theoretical and Applied Mathematics
- 2 Department of Mathematics [Austin]

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 $\mathcal{D}$ and the other is a connected graded coalgebra with coalgebra map to $\mathcal{D}$. We conclude with examples of these structures, where the factor coalgebras have bases indexed by the vertices of multiplihedra, composihedra, and hypercubes.

Source: HAL:hal-01215100v1

Volume: DMTCS Proceedings vol. AO, 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011)

Section: Proceedings

Published on: January 1, 2011

Imported on: January 31, 2017

Keywords: multiplihedron,cofree coalgebra,Hopf algebra,operad,species,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO],[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]

Funding:

- Source : OpenAIRE Graph
*Applications and Combinatorics in Algebraic Geometry*; Funder: National Science Foundation; Code: 1001615*Applicable Algebraic Geometry: Real Solutions, Applications, and Combinatorics*; Funder: National Science Foundation; Code: 0701050

This page has been seen 225 times.

This article's PDF has been downloaded 192 times.