aboutsummaryrefslogtreecommitdiff
path: root/Functor/Monoidal
AgeCommit message (Expand)Author
2025-12-13Add Monoidalize functorJacques Comeaux
2025-12-09Add shorter name for singleton setoidJacques Comeaux
2025-11-14Generalize ListOf construction to arbitrary monoidJacques Comeaux
2025-11-09Use functional vector in edge definitionJacques Comeaux
2025-11-09Clean up System functorsJacques Comeaux
2025-11-05Add Circ symmetric monoidal functorJacques Comeaux
2025-11-05Adjust universe levelsJacques Comeaux
2025-11-05Add multiset-of constructionJacques Comeaux
2025-11-05Add list-of construction for monoidal functorsJacques Comeaux
2025-11-03Remove unnecessary importJacques Comeaux
2025-10-28Add symmetric monoidal structure to Pull and SystemJacques Comeaux
2025-10-27Add inverted unitary rules for strong monoidal functorsJacques Comeaux
2025-10-26Add inverted associativity for strong monoidal functorsJacques Comeaux
2025-10-22Add symmetric monoidal structure to Push functorJacques Comeaux
2025-10-16Add Preimage symmetric monoidal functorJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2026-01-19 08:51:06 +0000