aboutsummaryrefslogtreecommitdiff
path: root/Category/Cocomplete/Finitely/SymmetricMonoidal.agda
AgeCommit message (Expand)Author
2025-04-23Category of decorated cospans is symmetric monoidalJacques Comeaux
2024-09-19Add decorated cospansJacques Comeaux