aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance
AgeCommit message (Collapse)Author
8 daysAdd shorter name for singleton setoidJacques Comeaux
9 daysUpdate category of cospansJacques Comeaux
11 daysRename One propertiesJacques Comeaux
11 daysMake setoids monoidal structure opaqueJacques Comeaux
13 daysAdd opaqueness to cospans and decorated cospansJacques Comeaux
2025-10-28Add second level parameter to Setoids SMCJacques Comeaux
2025-04-23Category of decorated cospans is symmetric monoidalJacques 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
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-18 03:14:16 +0000