Graded Coalgebras¶
- class sage.categories.graded_coalgebras.GradedCoalgebras(base_category)¶
Bases:
sage.categories.graded_modules.GradedModulesCategory
The category of graded coalgebras
EXAMPLES:
sage: C = GradedCoalgebras(QQ); C Category of graded coalgebras over Rational Field sage: C is Coalgebras(QQ).Graded() True
- class SignedTensorProducts(category, *args)¶
Bases:
sage.categories.signed_tensor.SignedTensorProductsCategory
- extra_super_categories()¶
EXAMPLES:
sage: Coalgebras(QQ).Graded().SignedTensorProducts().extra_super_categories() [Category of graded coalgebras over Rational Field] sage: Coalgebras(QQ).Graded().SignedTensorProducts().super_categories() [Category of graded coalgebras over Rational Field]
Meaning: a signed tensor product of coalgebras is a coalgebra
- class SubcategoryMethods¶
Bases:
object
- 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