circuits/Category/Monoidal/Instance, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-03-25T00:39:44+00:00 Add monoidal structure to category of posets 2026-03-25T00:39:44+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-25T00:39:44+00:00 urn:sha1:866dd6d8510bb5dd56966a99e73b1681763bbfc5 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 Add symmetric monoidal versions 2025-10-16T02:11:39+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-10-16T02:11:39+00:00 urn:sha1:fe6496cc72b9b6371937148b7822f2e847fc1b9a Add monoidal categories for Nat and Nat-op 2025-10-16T01:54:35+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-10-16T01:54:35+00:00 urn:sha1:970edad9a35db978d66e648bf5d4379787197eb0 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 Add symmetric braiding to category of cospans 2025-02-08T22:19:44+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-02-08T22:19:44+00:00 urn:sha1:0ce708186bf9b94422ce79bdba542abc29c000b1 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