Graded Hopf algebras with basis

sage.categories.graded_hopf_algebras_with_basis.GradedHopfAlgebrasWithBasis

The category of graded Hopf algebras with a distinguished basis.

EXAMPLES:

sage: C = GradedHopfAlgebrasWithBasis(ZZ); C
Category of graded hopf algebras with basis over Integer Ring
sage: C.super_categories()
[Category of filtered hopf algebras with basis over Integer Ring,
 Category of graded algebras with basis over Integer Ring]

sage: C is HopfAlgebras(ZZ).WithBasis().Graded()
True
sage: C is HopfAlgebras(ZZ).Graded().WithBasis()
False