aboutsummaryrefslogtreecommitdiff
path: root/Object/Monoid
AgeCommit message (Collapse)Author
2025-11-05Add category of commutative monoidsJacques Comeaux