aboutsummaryrefslogtreecommitdiff
path: root/Category
AgeCommit message (Expand)Author
2026-01-10Extend monoidalize functor to commutative monoidsJacques Comeaux
2026-01-07Add monoidal preorders to monoids functorJacques Comeaux
2026-01-07Add strong variants of cats to preorders functorsJacques Comeaux
2026-01-07Differentiate lax and strong monoidal monotonesJacques Comeaux
2026-01-06Add symmetric monoidal primitive preorder categoryJacques Comeaux
2026-01-06Add monoidal cats to monoidal preorders functorJacques Comeaux
2026-01-06Add functors from categories to preorders to setoidsJacques Comeaux
2026-01-05Add 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
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-28 17:01:30 +0000