aboutsummaryrefslogtreecommitdiff
path: root/Category
AgeCommit message (Expand)Author
23 hoursTransport monoid via base category isomorphismJacques Comeaux
5 daysAdd shorter name for singleton setoidJacques Comeaux
6 daysUpdate category of cospans monoidal structureJacques Comeaux
6 daysUpdate category of cospansJacques Comeaux
8 daysRename One propertiesJacques Comeaux
8 daysMake setoids monoidal structure opaqueJacques Comeaux
10 daysAdd opaqueness to cospans and decorated cospansJacques Comeaux
2025-11-05Add category of commutative monoidsJacques Comeaux
2025-10-28Add second level parameter to Setoids SMCJacques Comeaux
2025-10-15Add symmetric monoidal versionsJacques Comeaux
2025-10-15Add monoidal categories for Nat and Nat-opJacques Comeaux
2025-04-23Category of decorated cospans is symmetric monoidalJacques Comeaux
2025-02-08Add symmetric braiding to category of cospansJacques Comeaux
2025-02-03Show category of cospans is monoidalJacques Comeaux
2025-02-03Add category of finitely-cocomplete categoriesJacques Comeaux
2025-02-03Update agda-categories versionJacques Comeaux
2024-11-05Add trivial and graph decoration functorsJacques Comeaux
2024-10-16Switch decoration functor from strong to laxJacques Comeaux
2024-10-01Finish category of decorated cospansJacques Comeaux
2024-09-29Prove associativity for decorated cospan compositionJacques Comeaux
2024-09-22Add composition and equality of decorated cospansJacques Comeaux
2024-09-19Add decorated cospansJacques Comeaux
2024-06-11Begin defining category of cospansJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-14 21:56:40 +0000