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