aboutsummaryrefslogtreecommitdiff
path: root/Category/Semiadditive.agda
AgeCommit message (Expand)Author
47 hoursShow category of directed wiring diagrams is monoidalJacques Comeaux
13 daysSimplify wiring diagrams using semiadditive daggerJacques Comeaux
14 daysSimplify semiadditive dagger definitionJacques Comeaux
2026-07-18Define semiadditive categoryJacques Comeaux