circuits/Data/Mat, branch main

circuits/Data/Mat, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-04-03T01:27:02+00:00 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 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 Add cocartesian structure to category of matrices 2026-03-26T21:00:15+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-26T21:00:15+00:00 urn:sha1:e5f84dbe58056f2b57244f0498074ce9aea978b7 Add category of matrices over an arbitary rig 2026-03-19T23:13:54+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-03-19T23:13:54+00:00 urn:sha1:08ebbbb1876d6a5111f61f5b1d86413f7381f47d