aboutsummaryrefslogtreecommitdiff
path: root/Functor/Cartesian
AgeCommit message (Collapse)Author
2026-01-07Add monoidal preorders to monoids functorJacques Comeaux
2025-04-23Category of decorated cospans is symmetric monoidalJacques Comeaux