circuits/Category/Cocomplete/Finitely, branch mainTiny circuits DSLhttps://git.jacquescomeaux.xyz/circuits/atom?h=main2025-04-23T15:09:32+00:00Category of decorated cospans is symmetric monoidal2025-04-23T15:09:32+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2025-04-23T15:09:32+00:00urn:sha1:f7afdb1823fe8d785849f817d022efa100007560Add category of finitely-cocomplete categories2025-02-03T16:11:47+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2025-02-03T16:11:47+00:00urn:sha1:8d3d3b53cfab2540ed006e768af1e41ea3d35750
- Objects are categories with all finite colimits
- Morphisms are functors preserving finite colimits (i.e. right exact)
Add decorated cospans2024-09-19T17:34:28+00:00Jacques Comeauxjacquesrcomeaux@protonmail.com2024-09-19T17:34:28+00:00urn:sha1:8a832a39547c21a0cde9cd3671f0368cd35c26c0