aboutsummaryrefslogtreecommitdiff
path: root/Category/Construction
AgeCommit message (Collapse)Author
2 daysTransport monoid via base category isomorphismJacques Comeaux
2025-11-05Add category of commutative monoidsJacques Comeaux