aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance
AgeCommit message (Expand)Author
12 daysAdd strong variants of cats to preorders functorsJacques Comeaux
12 daysDifferentiate lax and strong monoidal monotonesJacques Comeaux
13 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-09Add shorter name for singleton setoidJacques 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-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
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 2026-01-19 06:06:06 +0000