circuits/Category/Instance/One, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2025-12-06T22:49:36+00:00 Rename One properties 2025-12-06T22:49:36+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-06T22:49:36+00:00 urn:sha1:70fbd45702021e14b93bc294c4c1fa02c5c4758e Add category of finitely-cocomplete categories 2025-02-03T16:11:47+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-02-03T16:11:47+00:00 urn:sha1:8d3d3b53cfab2540ed006e768af1e41ea3d35750 - Objects are categories with all finite colimits - Morphisms are functors preserving finite colimits (i.e. right exact)