circuits/Category/Instance, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-04-03T21:37:35+00:00
Add free functor from rig-matrices to semimodules
2026-04-03T21:37:35+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-04-03T21:37:35+00:00
urn:sha1:fe8405495e0adddff98c8ae727e1906a09efefb3
Add categories of Rigs, Bisemimodules, and Semimodules
2026-04-03T02:01:41+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-04-03T02:01:41+00:00
urn:sha1:c822551157cad5f853c3f81f0c72cc7c6919f08b
Fix modules broken by addition of strong SymMonCat
2026-01-13T23:35:37+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-13T23:35:37+00:00
urn:sha1:38e5da80b651a073b49505a92d71b15ca11e1b35
Add strong variants of cats to preorders functors
2026-01-07T16:52:51+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-07T16:52:51+00:00
urn:sha1:b2c2426959715260f57153b91ce11d12c7fdb298
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 symmetric monoidal primitive preorder category
2026-01-06T17:55:23+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-06T17:55:23+00:00
urn:sha1:d0a594ffe687970bc6fc68870e41b10d6c3c3494
Add monoidal cats to monoidal preorders functor
2026-01-06T17:43:55+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-01-06T17:43:55+00:00
urn:sha1:527d35a56ec025cb813024488dcf78ff002e320e
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