class sage.categories.graded_coalgebras.GradedCoalgebras(base_category)

EXAMPLES:

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

class SignedTensorProducts(category, *args)
extra_super_categories()

EXAMPLES:

sage: Coalgebras(QQ).Graded().SignedTensorProducts().extra_super_categories()
[Category of graded coalgebras over Rational Field]
[Category of graded coalgebras over Rational Field]


Meaning: a signed tensor product of coalgebras is a coalgebra

class SubcategoryMethods
SignedTensorProducts()

Return the full subcategory of objects of self constructed as signed tensor products.

EXAMPLES:

sage: CoalgebrasWithBasis(QQ).Graded().SignedTensorProducts()
Category of signed tensor products of graded coalgebras with basis
over Rational Field