aboutsummaryrefslogtreecommitdiff
path: root/Data/Mat/Cocartesian.agda
AgeCommit message (Collapse)Author
2026-03-27Add dagger structure for commutative rig matricesJacques Comeaux
2026-03-26Add cocartesian structure to category of matricesJacques Comeaux