aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Cospan
AgeCommit message (Expand)Author
2025-04-23Category of decorated cospans is symmetric monoidalJacques Comeaux
2025-02-03Show category of cospans is monoidalJacques Comeaux