Finite dimensional coalgebras with basis¶
- sage.categories.finite_dimensional_coalgebras_with_basis.FiniteDimensionalCoalgebrasWithBasis(base_ring)¶
The category of finite dimensional coalgebras with a distinguished basis
EXAMPLES:
sage: C = FiniteDimensionalCoalgebrasWithBasis(QQ); C Category of finite dimensional coalgebras with basis over Rational Field sage: sorted(C.super_categories(), key=str) [Category of coalgebras with basis over Rational Field, Category of finite dimensional modules with basis over Rational Field] sage: C is Coalgebras(QQ).WithBasis().FiniteDimensional() True