aboutsummaryrefslogtreecommitdiff
path: root/Category/Dagger/Semiadditive.agda
AgeCommit message (Expand)Author
6 hoursAdd "idempotent" semiadditive dagger categoriesJacques Comeaux
2 daysAdd semiadditive dagger categoriesJacques Comeaux