Milnor-Moore theorems for bialgebras in characteristic zero
arXiv:2208.10774
Abstract
Over fields of characteristic zero, we construct equivalences between certain categories of bialgebras which are generated by grouplikes and generalized primitives, and certain categories of structured Lie algebras. The relevant families of bialgebras include many which are not connected, and which fail to admit antipodes.
30 pages, J. Algebra accepted version