aboutsummaryrefslogtreecommitdiff
path: root/Data/WiringDiagram
AgeCommit message (Expand)Author
2026-08-05Finish merge and split symmetric monoidal functorsJacques Comeaux
2026-08-04Construct monoidal merge functorJacques Comeaux
2026-08-03Show category of maps is monoidalJacques Comeaux
2026-08-01Upgrade Push + Pull to symmetric monoidal functorsJacques Comeaux
2026-07-31Show wiring diagram braiding is symmetricJacques Comeaux
2026-07-31Add braiding to wiring diagram monoidal structureJacques Comeaux
2026-07-30Show category of directed wiring diagrams is monoidalJacques Comeaux
2026-07-19Simplify wiring diagrams using semiadditive daggerJacques Comeaux
2026-07-13Add split functorJacques Comeaux
2026-03-25Add looped wiring diagrams and merge functorJacques Comeaux
2026-03-25Add pull functor from relations to wiring diagramsJacques Comeaux
2026-03-14Add wiring diagram equalitiesJacques Comeaux
2026-03-14Refactor wiring diagramsJacques Comeaux
2026-03-10Add preliminary category of wiring diagramsJacques Comeaux
2026-03-08Add monoidal category of finite relationsJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2026-09-04 09:38:31 +0000