arXiv++ Combinatorics

We introduce new concepts and viewpoints on combinatorial Hopf species and algebras. We give a category ${\rm \bf set_{\mathbb{N}}}$ whose objects are sets, and (dualizable) morphisms represented by matrices of non-negative integers. For a bimonoid species $(B,Δ, μ)$ in ${\rm \bf set_{\mathbb{N}}}$ we may then dualize the product $μ$ to get two intertwined coproducts $Δ, Δ^\prime$. We consider restriction species $\mathsf{S}$ over ${\rm \bf set_{\mathbb{N}}}$ accompanied by pairs of natural transformations $π_1, π_2 : \mathsf{S} \rightarrow {\rm Pre}$ to the species of preorders. A simple construction associates two comonoid species $Δ^1$ and $Δ^2$, and we investigate when they are intertwined. We get new Hopf algebras: i. choosing an arbitrary set of permutations without global descents, we get associated a quotient Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations avoiding this chosen set, ii. a Hopf algebra of pairs of parking filtrations, and iii. three Hopf algebras of pairs of preorders.