aboutsummaryrefslogtreecommitdiff
path: root/Category/Monoidal/Instance/Nat.agda
AgeCommit message (Expand)Author
2025-10-15Add symmetric monoidal versionsJacques Comeaux
2025-10-15Add monoidal categories for Nat and Nat-opJacques Comeaux