sage.categories.bialgebras.
Bialgebras
The category of bialgebras
EXAMPLES:
sage: Bialgebras(ZZ) Category of bialgebras over Integer Ring sage: Bialgebras(ZZ).super_categories() [Category of algebras over Integer Ring, Category of coalgebras over Integer Ring]
Associative algebras
Bialgebras with basis