Hopf substitutions in Species
Combinatorics
2026-04-14 v1 Category Theory
Abstract
In the theory of species, the species of linear orders and the substitution operation combine for a compelling result: given any positive comonoid , carries the structure of Hopf monoid, freely generated by . Leaving aside the universal property this implies, we ask, "for which does carry the structure of Hopf monoid?" After answering this question, we look at basic properties of our construction. We also extend a result of the present authors, on interpolation in species, to this new context.
Keywords
Cite
@article{arxiv.2604.10816,
title = {Hopf substitutions in Species},
author = {Aaron Lauve and Anthony Lazzeroni},
journal= {arXiv preprint arXiv:2604.10816},
year = {2026}
}