circuits/Functor/Monoidal/Construction, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-01-13T23:34:50+00:00 Remove old multisetof construction 2026-01-13T23:34:50+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-13T23:34:50+00:00 urn:sha1:4e85ade36a25151021a74b51442dca999e1b48e2 Extend monoidalize functor to commutative monoids 2026-01-11T04:04:30+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-11T04:04:30+00:00 urn:sha1:3e0565657f896d3064e68b03d30c1a748a8bed25 Add Monoidalize functor 2025-12-14T02:37:32+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-14T02:37:32+00:00 urn:sha1:8e40a6e427aea3cdfeda038c38942e9d66c502e3 Generalize ListOf construction to arbitrary monoid 2025-11-14T18:53:49+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-14T18:53:49+00:00 urn:sha1:9fe4aadad5a046aaf44a789bfddefc10a0afaeef Use functional vector in edge definition 2025-11-10T02:28:11+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-10T02:28:11+00:00 urn:sha1:ed5f0ae0f95a1675b272b205bb58724368031c01 Adjust universe levels 2025-11-05T14:11:48+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-05T14:11:48+00:00 urn:sha1:5f4d1cf740591476d3c7bc270fd11a2c578ab7e6 Add multiset-of construction 2025-11-05T07:58:37+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-05T07:58:37+00:00 urn:sha1:c4e5d5ee327e917dabb86a7de70bafaffcfa6d6f Add list-of construction for monoidal functors 2025-11-05T06:09:51+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-05T06:09:51+00:00 urn:sha1:e70481cf98eeb00154536e364dec58e79b034cc5 If F is a functor from a cocartesian category into Set, then the functor taking n to List (F n) can be made into a monoidal functor. More generally, Set can be replaced with any monoidal category D that has a free monoid functor Free : D -> Monoids[D]