circuits/Category/Construction, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-11T04:04:30+00:00
Extend monoidalize functor to commutative monoids
2026-01-11T04:04:30+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-11T04:04:30+00:00
urn:sha1:3e0565657f896d3064e68b03d30c1a748a8bed25
Transport monoid via base category isomorphism
2025-12-13T23:05:56+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-12-13T23:05:56+00:00
urn:sha1:c39f2eeea5fab0e5e15fd1ee0fb83a1fb407f703
Add category of commutative monoids
2025-11-05T07:02:33+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-05T07:02:33+00:00
urn:sha1:821832147fb2b3b06ebda7e991ad880eaba15bcc