aboutsummaryrefslogtreecommitdiff
path: root/Category
AgeCommit message (Collapse)Author
12 daysDifferentiate lax and strong monoidal monotonesJacques Comeaux
12 daysAdd symmetric monoidal primitive preorder categoryJacques Comeaux
13 daysAdd monoidal cats to monoidal preorders functorJacques Comeaux
13 daysAdd functors from categories to preorders to setoidsJacques Comeaux
13 daysAdd non-setoid-based preordersJacques Comeaux
2026-01-04Add category of symmetric monoidal preordersJacques Comeaux
2026-01-04Add category of monoidal preordersJacques Comeaux
2026-01-04Add category of preordersJacques Comeaux
2026-01-04Update to latest agda-categoriesJacques Comeaux
2025-12-13Transport monoid via base category isomorphismJacques Comeaux
2025-12-09Add shorter name for singleton setoidJacques Comeaux
2025-12-08Update category of cospans monoidal structureJacques Comeaux
2025-12-08Update category of cospansJacques Comeaux
2025-12-06Rename One propertiesJacques Comeaux
2025-12-06Make setoids monoidal structure opaqueJacques Comeaux
2025-12-04Add 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 2026-01-19 05:51:38 +0000