circuits, branch main

circuits, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-04-27T20:38:36+00:00 Add bounded distributive lattices 2026-04-27T20:38:36+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-27T20:38:36+00:00 urn:sha1:1d40f953de7bdfbaff350a953c60b2c5951f42a2 Add free functor from rig-matrices to semimodules 2026-04-03T21:37:35+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-03T21:37:35+00:00 urn:sha1:fe8405495e0adddff98c8ae727e1906a09efefb3 Add categories of Rigs, Bisemimodules, and Semimodules 2026-04-03T02:01:41+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-03T02:01:41+00:00 urn:sha1:c822551157cad5f853c3f81f0c72cc7c6919f08b Reorganize matrix code 2026-04-03T01:27:02+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-03T01:27:02+00:00 urn:sha1:6a35dcbbf1b3859b012e5f8546e8cb353898bde2 Add semimodule of vectors over a commutative rig 2026-03-29T22:49:49+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-29T22:49:49+00:00 urn:sha1:29dacb01350879a1f94ca100aafc058298bcb8a1 Add bisemimodule of vectors over a rig 2026-03-29T21:59:17+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-29T21:59:17+00:00 urn:sha1:0000b8aee0c002bfdf0f0a310062a80c2c8ea94d Begin separating vector concepts from matrices 2026-03-29T03:23:16+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-29T03:23:16+00:00 urn:sha1:71cdd278bb008bb4375e8d5b2b6b00e3d5bf393a Build dagger 2-poset Mat(R) for idem. comm. rig R 2026-03-28T01:46:06+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-28T01:46:06+00:00 urn:sha1:606bc7f0821d128a64aaab8c8e94a82acb26b86f Add commutative rig matrix semiadditive structure 2026-03-27T23:00:15+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-27T23:00:15+00:00 urn:sha1:e21dc46d5ffbde6a378618c7144c55d5103a494f Add dagger structure for commutative rig matrices 2026-03-27T21:09:59+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-27T21:09:59+00:00 urn:sha1:b795c34f2b7451a6cfde086b1944cca49de02605