aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat
AgeCommit message (Expand)Author
14 daysAdd Preimage symmetric monoidal functorJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux