aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance/Semimodules.agda
AgeCommit message (Collapse)Author
2026-04-03Add free functor from rig-matrices to semimodulesmainJacques Comeaux
2026-04-02Add categories of Rigs, Bisemimodules, and SemimodulesJacques Comeaux