aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
20 hoursAdd wiring diagram equalitiesmainJacques Comeaux
20 hoursRefactor wiring diagramsJacques Comeaux
24 hoursAdd "idempotent" semiadditive dagger categoriesJacques Comeaux
Semiadditive dagger categories in which the induced commutative monoid on each hom-set is idempotent, or (equivalently), is a join semilattice. I don't know if there is a better name for this concept.
24 hoursAllow square brackets in circuit lang identifiersJacques Comeaux
24 hoursRefactor systems and add looped systemsJacques Comeaux
3 daysAdd semiadditive dagger categoriesJacques Comeaux
5 daysAdd preliminary category of wiring diagramsJacques Comeaux
7 daysAdd monoidal category of finite relationsJacques Comeaux
2026-01-13Fix modules broken by addition of strong SymMonCatJacques Comeaux
2026-01-13Remove old multisetof constructionJacques Comeaux
2026-01-13Move values moduleJacques Comeaux
2026-01-13Remove old monoidal functorsJacques Comeaux
2026-01-11Construct SM nat trans from Circ to SysJacques Comeaux
2026-01-10Define Sys functor from Nat to SMCsJacques Comeaux
2026-01-10Extend monoidalize functor to commutative monoidsJacques Comeaux
2026-01-07Add SMP to commutative monoids functorJacques 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 sym. mon. cat to sym. mon. preorder functorJacques Comeaux
2026-01-06Add symmetric monoidal primitive preorder categoryJacques Comeaux
2026-01-06Add monoidal cats to monoidal preorders functorJacques Comeaux
2026-01-06Add monoidal primitive preordersJacques 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 monoidal monotone maps between preordersJacques Comeaux
2026-01-04Add (weak) monoidal and symmetric monoidal preordersJacques Comeaux
2026-01-04Add category of preordersJacques Comeaux
2026-01-04Update to latest agda-categoriesJacques Comeaux
2026-01-01Update push, pull, and sys functorsJacques Comeaux
2025-12-13Add hypergraph destructor setoid homomorphismJacques Comeaux
2025-12-13Add Monoidalize functorJacques Comeaux
2025-12-13Redefine circuit functorJacques Comeaux
2025-12-13Transport monoid via base category isomorphismJacques Comeaux
2025-12-10Add free/forget multiset adjunctionJacques Comeaux
2025-12-09Add free commutative monoid functorJacques Comeaux
2025-12-09Update Nat propertiesJacques 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-06Update free and forgetful monoid functorsJacques Comeaux
2025-12-06Rename One propertiesJacques Comeaux
2025-12-06Update list adjunction for opaquenessJacques Comeaux
2025-12-06Move FinMerge utilitesJacques Comeaux
2025-12-06Add commutative monoid conversionsJacques Comeaux
2025-12-06Make setoids monoidal structure opaqueJacques Comeaux
2025-12-04Add opaqueness to cospans and decorated cospansJacques Comeaux
2025-11-14Generalize ListOf construction to arbitrary monoidJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2026-03-15 18:09:03 +0000