| Age | Commit message (Collapse) | 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 | |
