Finite dimensional coalgebras with basis - Category Framework

Skip to content
Back to top
View this page
Edit this page

# 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

      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 vector spaces with basis over Rational Field]
      sage: C is Coalgebras(QQ).WithBasis().FiniteDimensional()
      True

  Python

      >>> from sage.all import *
      >>> C = FiniteDimensionalCoalgebrasWithBasis(QQ); C
      Category of finite dimensional coalgebras with basis over Rational Field
      >>> sorted(C.super_categories(), key=str)
      [Category of coalgebras with basis over Rational Field,
       Category of finite dimensional vector spaces with basis over Rational Field]
      >>> C is Coalgebras(QQ).WithBasis().FiniteDimensional()
      True