English

Hopf substitutions in Species

Combinatorics 2026-04-14 v1 Category Theory

Abstract

In the theory of species, the species L\mathbf{L} of linear orders and the substitution operation \boldsymbol{\circ} combine for a compelling result: given any positive comonoid p\mathbf{p}, Lp\mathbf{L}\boldsymbol{\circ}\mathbf{p} carries the structure of Hopf monoid, freely generated by p\mathbf{p}. Leaving aside the universal property this implies, we ask, "for which b\mathbf{b} does bp\mathbf{b}\boldsymbol{\circ}\mathbf{p} 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}
}