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