Bases: sage.categories.category_types.Category_over_base_ring
The category of commutative algebras with unit over a given base ring.
EXAMPLES:
sage: M = CommutativeAlgebras(GF(19))
sage: M
Category of commutative algebras over Finite Field of size 19
TESTS:
sage: TestSuite(CommutativeAlgebras(ZZ)).run()
Todo:
- product ( = cartesian product)
- coproduct ( = tensor product over base ring)
EXAMPLES:
sage: CommutativeAlgebras(QQ).super_categories()
[Category of algebras over Rational Field]