aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation/Monoidal/Construction
AgeCommit message (Expand)Author
8 daysExtend monoidalize functor to commutative monoidsJacques Comeaux
2025-12-13Add Monoidalize functorJacques Comeaux
2025-11-14Generalize ListOf construction to arbitrary monoidJacques Comeaux