circuits, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-07-19T19:31:03+00:00 Simplify wiring diagrams using semiadditive dagger 2026-07-19T19:31:03+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-19T19:31:03+00:00 urn:sha1:1528b2a49c0f006bdeff25a46f8f7ab6c23c73fd Simplify semiadditive dagger definition 2026-07-18T23:20:00+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-18T23:20:00+00:00 urn:sha1:d9ede0379448f50a553af4b91ce835836e712bc3 Define semiadditive category 2026-07-18T19:18:01+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-18T19:18:01+00:00 urn:sha1:d9bf8ae622083c0a3d82e5da39b45f9f744eefa0 Add categories with all binary biproducts 2026-07-18T00:16:37+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-18T00:16:37+00:00 urn:sha1:7093fb4fa137b63ae7f2b8a00269ef63da9d70ee Add split functor 2026-07-14T04:54:23+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-14T04:54:23+00:00 urn:sha1:78319064329e6b334298ea4bed2eec01d2fc8b47 Remove use of deprecated name 2026-07-14T03:49:04+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-14T03:49:04+00:00 urn:sha1:2ef009db997ac5c0150b7f496228943b07d43165 Add cartesian structure to category of semimodules 2026-07-14T03:43:51+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-14T03:43:51+00:00 urn:sha1:08982c82069c66f768c17979b7aa8d0a62d65cdb Construct Sys functor from wiring diagrams to Cats 2026-07-13T23:06:43+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-13T23:06:43+00:00 urn:sha1:9e2f3f3bb9916dca8d4ad4b162ce5b089c26b82e Derive cartesian from semiadditive dagger 2026-07-13T06:18:58+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-13T06:18:58+00:00 urn:sha1:cdcf0ebd6432799f6b7a3656437fb01d1ff79966 Show category of commutative conoids is cartesian 2026-07-12T16:53:57+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-07-12T16:53:57+00:00 urn:sha1:c183a87165f9934864e9060d817dbf94b377740e