circuits/Category/Instance/Properties, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-01-13T23:35:37+00:00 Fix modules broken by addition of strong SymMonCat 2026-01-13T23:35:37+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-13T23:35:37+00:00 urn:sha1:38e5da80b651a073b49505a92d71b15ca11e1b35 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 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 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 Add category of finitely-cocomplete categories 2025-02-03T16:11:47+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-02-03T16:11:47+00:00 urn:sha1:8d3d3b53cfab2540ed006e768af1e41ea3d35750 - Objects are categories with all finite colimits - Morphisms are functors preserving finite colimits (i.e. right exact)