circuits/Category/Monoidal/Instance/DecoratedCospans, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-04T16:59:04+00:00
Update to latest agda-categories
2026-01-04T16:59:04+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-04T16:59:04+00:00
urn:sha1:1a84efec2ba0769035144782e1e96a10e0d5a7b2
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
Category of decorated cospans is symmetric monoidal
2025-04-23T15:09:32+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-04-23T15:09:32+00:00
urn:sha1:f7afdb1823fe8d785849f817d022efa100007560