| 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 |
