circuits/Data/WiringDiagram, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-08-15T17:34:15+00:00
Add monoidal structure to system functor
2026-08-15T17:34:15+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-15T17:34:15+00:00
urn:sha1:9a65579633967a0c02b912e6baa3e575a02b868f
Finish merge and split symmetric monoidal functors
2026-08-05T06:24:33+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-05T06:24:33+00:00
urn:sha1:276418d0b0c1cd865c473a77db9c6e42ea9d02dc
Construct monoidal merge functor
2026-08-04T11:37:48+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-04T11:37:48+00:00
urn:sha1:e171bf8948f8655eccdf27ba4824bdb28d497076
Show category of maps is monoidal
2026-08-04T00:08:47+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-04T00:08:47+00:00
urn:sha1:514bb6e3e235f37c4e49bd703ad02a5ab31e8c0a
Upgrade Push + Pull to symmetric monoidal functors
2026-08-02T00:21:52+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-02T00:21:52+00:00
urn:sha1:014e65626daa7bbd0375e5b9ad9bf0ad8addabdc
Show wiring diagram braiding is symmetric
2026-08-01T03:52:41+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-01T03:52:41+00:00
urn:sha1:f70dd41bf5a519ba099ebd6d9a425a022c1a111f
Add braiding to wiring diagram monoidal structure
2026-07-31T20:08:15+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-31T20:08:15+00:00
urn:sha1:c48ce55a4bf04ed87e62f7542dcb1703fd762246
Show category of directed wiring diagrams is monoidal
2026-07-30T22:44:41+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-30T22:44:41+00:00
urn:sha1:776ec567fd788ddef1f7617b7a3bfeb9cf46c28d
Simplify wiring diagrams using semiadditive dagger
2026-07-19T19:31:03+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-19T19:31:03+00:00
urn:sha1:1528b2a49c0f006bdeff25a46f8f7ab6c23c73fd
Add split functor
2026-07-14T04:54:23+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-14T04:54:23+00:00
urn:sha1:78319064329e6b334298ea4bed2eec01d2fc8b47