circuits/Category/Instance, branch main

circuits/Category/Instance, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-07-11T00:21:14+00:00 Use latest agda-categories 2026-07-11T00:21:14+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-11T00:21:14+00:00 urn:sha1:a408cbee9abbe2dbeee09bd36afc678efe7b6557 Fix equivalence of rig homomorphisms 2026-07-09T17:20:43+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-09T17:20:43+00:00 urn:sha1:6a0549f4c5a93a1817cd311440de156c3283ba27 Add category of commutative monoids 2026-07-09T17:11:28+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-09T17:11:28+00:00 urn:sha1:310db86b3ddf5ac50586cae486f9684052be04c9 Update circuit values 2026-07-07T20:32:20+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-07T20:32:20+00:00 urn:sha1:a07a9d6ea38c55aeac59cb93678b9c830ce54705 Add monoids / monoid objects in setoids equivalence 2026-04-30T18:56:37+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-04-30T18:56:37+00:00 urn:sha1:be685059304423e5a5cbb176b44aef1a4a76325b 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 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 Add strong variants of cats to preorders functors 2026-01-07T16:52:51+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-07T16:52:51+00:00 urn:sha1:b2c2426959715260f57153b91ce11d12c7fdb298 Differentiate lax and strong monoidal monotones 2026-01-07T16:12:13+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-07T16:12:13+00:00 urn:sha1:8ec259bb32b4339b27560f5ea13afa81b9b8febc