加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本