The category of graded coalgebras with a distinguished basis
EXAMPLES:
sage: C = GradedCoalgebrasWithBasis(QQ); C
Join of Category of graded modules with basis over Rational Field
and Category of coalgebras with basis over Rational Field
sage: C is Coalgebras(QQ).WithBasis().Graded()
True
TESTS:
sage: TestSuite(C).run()