aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance/Rigs.agda
AgeCommit message (Collapse)Author
12 daysFix equivalence of rig homomorphismsJacques Comeaux
2026-04-02Add categories of Rigs, Bisemimodules, and SemimodulesJacques Comeaux