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
-
-
class