circuits/Functor/Free, branch main

circuits/Functor/Free, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-01-07T17:41:01+00:00 Add SMP to commutative monoids functor 2026-01-07T17:41:01+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-07T17:41:01+00:00 urn:sha1:fc941b6d2e2293d9d9e096519eac708ae3b0aa0a Add monoidal preorders to monoids functor 2026-01-07T16:56:40+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-07T16:56:40+00:00 urn:sha1:4326ca8d5b9386a480303418fb3e57b9054213f0 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 Add sym. mon. cat to sym. mon. preorder functor 2026-01-06T18:25:10+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-06T18:25:10+00:00 urn:sha1:aecb9a5862a9082909c902307974e7ca85463bb9 Add monoidal cats to monoidal preorders functor 2026-01-06T17:43:55+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-06T17:43:55+00:00 urn:sha1:527d35a56ec025cb813024488dcf78ff002e320e Add functors from categories to preorders to setoids 2026-01-06T16:20:03+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2026-01-06T16:20:03+00:00 urn:sha1:2a2eeeedbe4d7208d511580f7fed0e30d7f16076 Add free commutative monoid functor 2025-12-09T20:45:27+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-09T20:45:27+00:00 urn:sha1:d721f0a23f3b8c50fd1754c8958ac40b6f625cbd Update free and forgetful monoid functors 2025-12-06T22:53:08+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-06T22:53:08+00:00 urn:sha1:826b0b6007249ef518c5cff458ce6dc5c95fd43a Add adjunction between free monoid and forget 2025-11-13T19:24:21+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-11-13T19:24:21+00:00 urn:sha1:05cbf6f56bce1d45876630fe29b694dc57942e9c