circuits/Functor/Monoidal/Strong, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-04T16:59:04+00:00
Update to latest agda-categories
2026-01-04T16:59:04+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-04T16:59:04+00:00
urn:sha1:1a84efec2ba0769035144782e1e96a10e0d5a7b2
Add symmetric monoidal structure to Pull and System
2025-10-28T17:26:54+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-28T17:26:54+00:00
urn:sha1:8ac913160fcb3e6ec6af2b0f4cb25f45edd8212b
Add inverted unitary rules for strong monoidal functors
2025-10-27T20:48:31+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-27T20:48:31+00:00
urn:sha1:117ecc76cb40ad6367d8fe6d5b854cbe13a613bf
Add inverted associativity for strong monoidal functors
2025-10-27T01:12:32+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-27T01:12:32+00:00
urn:sha1:b5a01be0e0eddce5d6171f5d7617c3b0c10dda80