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

[en]
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.

[fr]
Nous développons la notion de composition de coalgèbres, qui apparaît naturellement dans la théorie des catégories d'ordre supérieur et dans la théorie des espèces. Nous montrons que la composée de deux coalgèbres colibres est colibre et nous donnons des conditions qui impliquent que la composée est une algèbre de Hopf unilatérale. Ces conditions sont valables quand l'une des coalgèbres est une opérade de Hopf graduée $\mathcal{D}$ et l'autre est une coalgèbre graduée connexe avec un morphisme vers $\mathcal{D}$. Nous concluons avec des exemples de ces structures, où les coalgèbres composées ont des bases indexées par les sommets de multiplièdres, de composièdres, et d'hypercubes.