In any monoidal category, it’s worth asking:
These can often have exciting answers, like “comonoids in are exactly categories!”. When your monoidal category is symmetric, you can additionally ask:
This is a companion discussion topic for the original entry at https://topos.site/blog/2023-10-26-lie-groups-induce-hopf-monoids-in-poly/