circuits/Category/Monoidal/Instance/Cospans, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2025-12-08T22:09:19+00:00
Update category of cospans monoidal structure
2025-12-08T22:09:19+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-12-08T22:09:19+00:00
urn:sha1:3c62ac510f286f228c9993fe6c37abdcad9e1fb2
Show category of cospans is monoidal
2025-02-04T05:31:23+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-02-04T05:31:23+00:00
urn:sha1:a8735289bf749c3d08f40be3a26f29585c879f0d