circuits/Preorder, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-01-07T17:41:01+00:00
Add SMP to commutative monoids functor
2026-01-07T17:41:01+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-07T17:41:01+00:00
urn:sha1:fc941b6d2e2293d9d9e096519eac708ae3b0aa0a
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 monoidal primitive preorders
2026-01-06T16:48:21+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-06T16:48:21+00:00
urn:sha1:e7f6b8c96b80eb33ad123748498734be0cdf785d
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
Add category of symmetric monoidal preorders
2026-01-04T22:15:11+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-04T22:15:11+00:00
urn:sha1:3386254cb6f5fc36c5cb18b7240edde3210a376c
Add category of monoidal preorders
2026-01-04T21:53:23+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-04T21:53:23+00:00
urn:sha1:3d7c5574124d3384ff942489feaa093618c309b9
Add monoidal monotone maps between preorders
2026-01-04T19:00:42+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-04T19:00:42+00:00
urn:sha1:a2225e97e0bb4de0d9ed9516e1a5515edb140e48
Add (weak) monoidal and symmetric monoidal preorders
2026-01-04T18:26:50+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-04T18:26:50+00:00
urn:sha1:bcee74f82477a083fd7c62ba1701554ae37a0aaf