circuits/Category/Dagger, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-08-15T17:34:15+00:00
Add monoidal structure to system functor
2026-08-15T17:34:15+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-15T17:34:15+00:00
urn:sha1:9a65579633967a0c02b912e6baa3e575a02b868f
Construct monoidal merge functor
2026-08-04T11:37:48+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-04T11:37:48+00:00
urn:sha1:e171bf8948f8655eccdf27ba4824bdb28d497076
Show category of maps is monoidal
2026-08-04T00:08:47+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-08-04T00:08:47+00:00
urn:sha1:514bb6e3e235f37c4e49bd703ad02a5ab31e8c0a
Simplify semiadditive dagger definition
2026-07-18T23:20:00+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-18T23:20:00+00:00
urn:sha1:d9ede0379448f50a553af4b91ce835836e712bc3
Construct Sys functor from wiring diagrams to Cats
2026-07-13T23:06:43+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-13T23:06:43+00:00
urn:sha1:9e2f3f3bb9916dca8d4ad4b162ce5b089c26b82e
Derive cartesian from semiadditive dagger
2026-07-13T06:18:58+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-13T06:18:58+00:00
urn:sha1:cdcf0ebd6432799f6b7a3656437fb01d1ff79966
Use latest agda-categories
2026-07-11T00:21:14+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-11T00:21:14+00:00
urn:sha1:a408cbee9abbe2dbeee09bd36afc678efe7b6557
Add category of maps of a dagger 2-poset
2026-03-25T11:48:41+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-25T11:48:41+00:00
urn:sha1:031be97ca0efaaf5db4a70e537dc1492ef687df0
Define dagger-2-posets
2026-03-25T10:48:02+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-25T10:48:02+00:00
urn:sha1:b0dc79e53f4f39bb4507fc8646ad2551770afa0c
Use new dagger reasoning combinator
2026-03-24T22:50:33+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-03-24T22:50:33+00:00
urn:sha1:2347246f724af4ba784aef0b758643ad61b8754e