https://filesoo.com/product/19803/hopf-monoids-in-the-category-of-species