circuits/Data/Mat/Cocartesian.agda, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-04-03T01:27:02+00:00
Reorganize matrix code
2026-04-03T01:27:02+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-04-03T01:27:02+00:00
urn:sha1:6a35dcbbf1b3859b012e5f8546e8cb353898bde2
Add dagger structure for commutative rig matrices
2026-03-27T21:09:59+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-27T21:09:59+00:00
urn:sha1:b795c34f2b7451a6cfde086b1944cca49de02605
Add cocartesian structure to category of matrices
2026-03-26T21:00:15+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-26T21:00:15+00:00
urn:sha1:e5f84dbe58056f2b57244f0498074ce9aea978b7