3 | | - The algebra of a finite enumerated set is a finite dimensional algebra |
4 | | - Commutative additive semigroup and monoid algebras |
5 | | - More documentation for IsomorphicObjects and other doc improvements |
| 3 | - Support for full subcategories defined by a predicate on the objects |
| 4 | (Finite, Infinite, FiniteDimensional, Commutative, Graded, Facade), |
| 5 | and joins thereof: |
| 6 | |
| 7 | {{{ |
| 8 | sage: Category.join([Groups(), Sets().Finite()]) |
| 9 | Category of finite groups |
| 10 | sage: Category.join([Algebras(QQ).Finite(), Monoids().Commutative()]) |
| 11 | Join of Category of commutative algebras over Rational Field and Category of finite monoids |
| 12 | }}} |
| 13 | |
| 14 | - More mathematical rules: |
| 15 | - A subquotient of a finite set is a finite set |
| 16 | - The algebra of a finite set is finite dimensional |
| 17 | - The algebra of a commutative magma is commutative |
| 18 | - Algebras of commutative additive semigroups and monoids |
| 19 | - More documentation for IsomorphicObjects and other doc improvements |