circuits/Category/Instance/Preorders, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-07T16:12:13+00:00
Differentiate lax and strong monoidal monotones
2026-01-07T16:12:13+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-07T16:12:13+00:00
urn:sha1:8ec259bb32b4339b27560f5ea13afa81b9b8febc
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 non-setoid-based preorders
2026-01-05T23:09:25+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-05T23:09:25+00:00
urn:sha1:1c0a486856d80ad7d8cb6174c49ad990d5f36088