| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-09-03 | Add Frobenius monoids and hypergraph categories | Jacques Comeaux |
| 2026-09-03 | Add bimonoid objects | Jacques Comeaux |
| 2026-07-17 | Add categories with all binary biproducts | Jacques Comeaux |
| 2025-11-05 | Add category of commutative monoids | Jacques Comeaux |
