The category of commutative algebras with unit over a given base ring.
sage: M = CommutativeAlgebras(GF(19)) sage: M Category of commutative algebras over Finite Field of size 19
- product ( = cartesian product)
- coproduct ( = tensor product over base ring)
sage: CommutativeAlgebras(QQ).super_categories() [Category of algebras over Rational Field, Category of commutative rings]