circuits, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-09-04T00:22:21+00:00
Add Frobenius monoids and hypergraph categories
2026-09-04T00:22:21+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-09-04T00:22:21+00:00
urn:sha1:4e6acbf8b8084bea12327683aceb300a9b64c367
Add bimonoid objects
2026-09-03T20:25:17+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-09-03T20:25:17+00:00
urn:sha1:42ab1c0b0fc5e7f16123b628dc65a38274d22f3d
Add more matrix operations
2026-08-22T19:52:16+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-22T19:52:16+00:00
urn:sha1:f7091746dcae0aacd0fc8c8971d6dc5a748e7bc5
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
Show free semimodule functor is cartesian
2026-08-13T05:57:08+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-13T05:57:08+00:00
urn:sha1:154ad08032f9719b0ad32aa357742fe12ff4899a
Show matrix change of base functor is cartesian
2026-08-05T22:50:02+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-05T22:50:02+00:00
urn:sha1:1e73f2658f6d8d1559649b2cd97040f494dc1c96
Show semimodules forgetful functor is cartesian
2026-08-05T20:39:09+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-05T20:39:09+00:00
urn:sha1:53e6ee67c618b37c73cf7668b4b3f71ec9b17949
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