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 |