aboutsummaryrefslogtreecommitdiff
path: root/Object
AgeCommit message (Expand)Author
12 hoursAdd bimonoid objectsJacques Comeaux
2026-07-17Add categories with all binary biproductsJacques Comeaux
2025-11-05Add category of commutative monoidsJacques Comeaux