2010/11/18 by Stefan Forcey, Forcey, Stefan, Aaron Lauve +3
Mathematics · #05E #16 #Combinatorics (math.CO) #FOS: Mathematics #Rings and Algebras (math.RA) #math.CO #math.RA #msc:05E #msc:16
paper · pdf · doi:10.48550/arxiv.1011.4305
13 pages, 67 .eps figures. Extended abstract for Formal Power Series and Algebraic Combinatorics, Reykjavik, Iceland June 2011
arxiv created 2010/12/16 · arxiv updated 2010/12/17
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.