circuits/Functor/Forgetful/Instance, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-01-06T16:20:03+00:00 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/forget multiset adjunction 2025-12-10T19:38:10+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-10T19:38:10+00:00 urn:sha1:c9da00d8069d77bc4cd253d1197983e87edd1d6f 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