aboutsummaryrefslogtreecommitdiff
path: root/Functor
AgeCommit message (Expand)Author
7 daysConstruct SM nat trans from Circ to SysmainJacques Comeaux
8 daysDefine Sys functor from Nat to SMCsJacques Comeaux
8 daysExtend monoidalize functor to commutative monoidsJacques Comeaux
11 daysAdd SMP to commutative monoids functorJacques Comeaux
11 daysAdd monoidal preorders to monoids functorJacques Comeaux
11 daysAdd strong variants of cats to preorders functorsJacques Comeaux
12 daysDifferentiate lax and strong monoidal monotonesJacques Comeaux
12 daysAdd sym. mon. cat to sym. mon. preorder functorJacques Comeaux
12 daysAdd monoidal cats to monoidal preorders functorJacques Comeaux
13 daysAdd functors from categories to preorders to setoidsJacques Comeaux
2026-01-04Update to latest agda-categoriesJacques Comeaux
2026-01-01Update push, pull, and sys functorsJacques Comeaux
2025-12-13Add Monoidalize functorJacques Comeaux
2025-12-13Redefine circuit functorJacques Comeaux
2025-12-10Add free/forget multiset adjunctionJacques Comeaux
2025-12-09Add free commutative monoid functorJacques Comeaux
2025-12-09Add shorter name for singleton setoidJacques Comeaux
2025-12-08Update category of cospansJacques Comeaux
2025-12-06Update free and forgetful monoid functorsJacques Comeaux
2025-11-14Generalize ListOf construction to arbitrary monoidJacques Comeaux
2025-11-13Add adjunction between free monoid and forgetJacques 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 functorJacques Comeaux
2025-11-05Add free commutaive monoid functorJacques 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-11-03Use permutation for equivalence of hypergraphsJacques Comeaux
2025-10-30Add Circ functorJacques Comeaux
2025-10-30Add free functor from setoids to monoids in setoidsJacques Comeaux
2025-10-29Add Edge functorJacques Comeaux
2025-10-29Add List functorJacques Comeaux
2025-10-28Split System into smaller modulesJacques 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-22Simplify System definition and add System functorJacques Comeaux
2025-10-22Add symmetric monoidal structure to Push functorJacques Comeaux
2025-10-16Add Preimage symmetric monoidal functorJacques Comeaux
2025-10-15Improve terminology in commentJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux
2025-04-23Category of decorated cospans is symmetric monoidalJacques Comeaux
2025-02-08Define tensor product of decorated cospansJacques Comeaux
2025-02-03Show category of cospans is monoidalJacques Comeaux
2025-02-03Add category of finitely-cocomplete categoriesJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2026-01-19 04:22:36 +0000