circuits/Functor/Instance/DecoratedCospan, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2025-12-08T21:30:53+00:00
Update category of cospans
2025-12-08T21:30:53+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-12-08T21:30:53+00:00
urn:sha1:cb2efa506d9ecec48aad72deb10acb6ffba45970
Category of decorated cospans is symmetric monoidal
2025-04-23T15:09:32+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-04-23T15:09:32+00:00
urn:sha1:f7afdb1823fe8d785849f817d022efa100007560
Define tensor product of decorated cospans
2025-02-08T22:28:12+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-02-08T22:28:12+00:00
urn:sha1:df517e27a5a6d1740e7d982f3c01205d27aff347