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