circuits/Category/Dagger/2-Poset.agda, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2026-03-25T11:48:41+00:00 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