aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal/Instance/Nat
AgeCommit message (Expand)Author
3 daysAdd symmetric monoidal structure to Pull and SystemJacques Comeaux
10 daysAdd symmetric monoidal structure to Push functorJacques Comeaux
2025-10-16Add Preimage symmetric monoidal functorJacques Comeaux