aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal
AgeCommit message (Expand)Author
44 hoursAdd symmetric monoidal structure to Pull and SystemJacques Comeaux
3 daysAdd inverted unitary rules for strong monoidal functorsJacques Comeaux
4 daysAdd inverted associativity for strong monoidal functorsJacques Comeaux
8 daysAdd symmetric monoidal structure to Push functorJacques Comeaux
14 daysAdd Preimage symmetric monoidal functorJacques Comeaux