circuits/Data, branch mainTiny circuits DSLhttps://git.jacquescomeaux.xyz/circuits/atom?h=main2026-04-30T18:56:37+00:00Add monoids / monoid objects in setoids equivalence2026-04-30T18:56:37+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-04-30T18:56:37+00:00urn:sha1:be685059304423e5a5cbb176b44aef1a4a76325bSimplify construction of matrix endofunctor2026-04-29T15:54:51+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-04-29T15:54:51+00:00urn:sha1:e4ab2f40d7713d871bae5e23f6f81ea5eb9d2de2Add endofunctor for matrices of fixed size2026-04-29T15:38:54+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-04-29T15:38:54+00:00urn:sha1:6e2934c6b1e9bbd739c13450068259fa0c686b75Add endofunctor for Vectors of fixed length2026-04-28T17:30:36+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-04-28T17:30:36+00:00urn:sha1:666ceb1d09d490f1e2f83f840603a9e403bb5714Add free functor from rig-matrices to semimodules2026-04-03T21:37:35+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-04-03T21:37:35+00:00urn:sha1:fe8405495e0adddff98c8ae727e1906a09efefb3Reorganize matrix code2026-04-03T01:27:02+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-04-03T01:27:02+00:00urn:sha1:6a35dcbbf1b3859b012e5f8546e8cb353898bde2Add semimodule of vectors over a commutative rig2026-03-29T22:49:49+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-03-29T22:49:49+00:00urn:sha1:29dacb01350879a1f94ca100aafc058298bcb8a1Add bisemimodule of vectors over a rig2026-03-29T21:59:17+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-03-29T21:59:17+00:00urn:sha1:0000b8aee0c002bfdf0f0a310062a80c2c8ea94dBegin separating vector concepts from matrices2026-03-29T03:23:16+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-03-29T03:23:16+00:00urn:sha1:71cdd278bb008bb4375e8d5b2b6b00e3d5bf393aBuild dagger 2-poset Mat(R) for idem. comm. rig R2026-03-28T01:46:06+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2026-03-28T01:46:06+00:00urn:sha1:606bc7f0821d128a64aaab8c8e94a82acb26b86f