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