class sage.categories.graded_coalgebras_with_basis.GradedCoalgebrasWithBasis(base_category)

The category of graded coalgebras with a distinguished basis.

EXAMPLES:

sage: C = GradedCoalgebrasWithBasis(QQ); C
Category of graded coalgebras with basis over Rational Field
True

class SignedTensorProducts(category, *args)

The category of coalgebras with basis constructed by signed tensor product of coalgebras with basis.

extra_super_categories()

EXAMPLES:

sage: Cat = CoalgebrasWithBasis(QQ).Graded()
sage: Cat.SignedTensorProducts().extra_super_categories()
[Category of graded coalgebras with basis over Rational Field]
sage: Cat.SignedTensorProducts().super_categories()
[Category of graded coalgebras with basis over Rational Field,
Category of signed tensor products of graded coalgebras over Rational Field]