Graded coalgebras with basis¶

class
sage.categories.graded_coalgebras_with_basis.
GradedCoalgebrasWithBasis
(base_category)¶ Bases:
sage.categories.graded_modules.GradedModulesCategory
The category of graded coalgebras with a distinguished basis.
EXAMPLES:
sage: C = GradedCoalgebrasWithBasis(QQ); C Category of graded coalgebras with basis over Rational Field sage: C is Coalgebras(QQ).WithBasis().Graded() True

class
SignedTensorProducts
(category, *args)¶ Bases:
sage.categories.signed_tensor.SignedTensorProductsCategory
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]


class