aboutsummaryrefslogtreecommitdiff
path: root/Category
AgeCommit message (Collapse)Author
7 daysAdd shorter name for singleton setoidJacques Comeaux
8 daysUpdate category of cospans monoidal structureJacques Comeaux
8 daysUpdate category of cospansJacques Comeaux
10 daysRename One propertiesJacques Comeaux
10 daysMake setoids monoidal structure opaqueJacques Comeaux
12 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
- Objects are categories with all finite colimits - Morphisms are functors preserving finite colimits (i.e. right exact)
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-16 22:15:35 +0000