aboutsummaryrefslogtreecommitdiff
path: root/Data
AgeCommit message (Collapse)Author
8 daysAdd split functorJacques Comeaux
8 daysConstruct Sys functor from wiring diagrams to CatsJacques Comeaux
10 daysAdd boolean latticeJacques Comeaux
11 daysUse latest agda-categoriesJacques Comeaux
12 daysGeneralize systems to (co)commutative (co)monoidsJacques Comeaux
12 daysInclude missing propertiesJacques Comeaux
12 daysFix equivalence of rig homomorphismsJacques Comeaux
13 daysAdd functional matricesJacques Comeaux
14 daysUpdate circuit valuesJacques Comeaux
2026-07-07Update circuit typecheckerJacques Comeaux
2026-07-07Update matrices and vectorsJacques Comeaux
2026-04-30Add monoids / monoid objects in setoids equivalenceJacques Comeaux
2026-04-29Simplify construction of matrix endofunctorJacques Comeaux
2026-04-29Add endofunctor for matrices of fixed sizeJacques Comeaux
2026-04-28Add endofunctor for Vectors of fixed lengthJacques Comeaux
2026-04-03Add free functor from rig-matrices to semimodulesJacques Comeaux
2026-04-02Reorganize matrix codeJacques Comeaux
2026-03-29Add semimodule of vectors over a commutative rigJacques Comeaux
2026-03-29Add bisemimodule of vectors over a rigJacques Comeaux
2026-03-28Begin separating vector concepts from matricesJacques Comeaux
2026-03-27Build dagger 2-poset Mat(R) for idem. comm. rig RJacques Comeaux
2026-03-27Add commutative rig matrix semiadditive structureJacques Comeaux
2026-03-27Add dagger structure for commutative rig matricesJacques Comeaux
2026-03-26Add cocartesian structure to category of matricesJacques Comeaux
2026-03-25Add looped wiring diagrams and merge functorJacques Comeaux
2026-03-25Add pull functor from relations to wiring diagramsJacques Comeaux
2026-03-19Add category of matrices over an arbitary rigJacques Comeaux
2026-03-14Add wiring diagram equalitiesJacques Comeaux
2026-03-14Refactor wiring diagramsJacques Comeaux
2026-03-14Refactor systems and add looped systemsJacques Comeaux
2026-03-10Add preliminary category of wiring diagramsJacques Comeaux
2026-03-08Add monoidal category of finite relationsJacques Comeaux
2026-01-13Move values moduleJacques Comeaux
2026-01-10Define Sys functor from Nat to SMCsJacques Comeaux
2026-01-01Update push, pull, and sys functorsJacques Comeaux
2025-12-13Add hypergraph destructor setoid homomorphismJacques Comeaux
2025-12-10Add free/forget multiset adjunctionJacques Comeaux
2025-12-09Add free commutative monoid functorJacques Comeaux
2025-12-09Add shorter name for singleton setoidJacques Comeaux
2025-12-06Add commutative monoid conversionsJacques Comeaux
2025-11-13Add adjunction between free monoid and forgetJacques Comeaux
2025-11-09Use functional vector in edge definitionJacques Comeaux
2025-11-09Clean up System functorsJacques Comeaux
2025-11-05Adjust universe levelsJacques Comeaux
2025-11-03Use permutation for equivalence of hypergraphsJacques Comeaux
2025-10-30Add Circ functorJacques Comeaux
2025-10-29Update hypergraph equivalenceJacques Comeaux
2025-10-29Add Circuit typeJacques Comeaux
2025-10-29Refactor list-based hypergraphsJacques Comeaux
2025-10-28Merge branch 'hypergraph-conversion'Jacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-21 20:25:35 +0000