aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/DecoratedCospan
AgeCommit message (Expand)Author
2025-04-23Category of decorated cospans is symmetric monoidalJacques Comeaux
2025-02-08Define tensor product of decorated cospansJacques Comeaux