aboutsummaryrefslogtreecommitdiff
path: root/Category
AgeCommit message (Expand)Author
9 daysShow category of commutative conoids is cartesianJacques Comeaux
11 daysUse latest agda-categoriesJacques Comeaux
12 daysFix equivalence of rig homomorphismsJacques Comeaux
12 daysAdd category of commutative monoidsJacques Comeaux
12 daysAdd Nat to category of maps of Mat(Bool) functorJacques Comeaux
14 daysUpdate circuit valuesJacques Comeaux
2026-04-30Add monoids / monoid objects in setoids equivalenceJacques Comeaux
2026-04-03Add free functor from rig-matrices to semimodulesJacques Comeaux
2026-04-02Add categories of Rigs, Bisemimodules, and SemimodulesJacques Comeaux
2026-03-25Add looped wiring diagrams and merge functorJacques Comeaux
2026-03-25Add category of maps of a dagger 2-posetJacques Comeaux
2026-03-25Define dagger-2-posetsJacques Comeaux
2026-03-24Add monoidal structure to category of posetsJacques Comeaux
2026-03-24Use new dagger reasoning combinatorJacques Comeaux
2026-03-14Add "idempotent" semiadditive dagger categoriesJacques Comeaux
2026-03-12Add semiadditive dagger categoriesJacques Comeaux
2026-01-13Fix modules broken by addition of strong SymMonCatJacques Comeaux
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-21 16:00:09 +0000