diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-04-02 21:01:41 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-04-02 21:01:41 -0500 |
| commit | c822551157cad5f853c3f81f0c72cc7c6919f08b (patch) | |
| tree | 2e98d68753a8862c08530d43056782db823e9b01 /Data/Mat/Cocartesian.agda | |
| parent | 6a35dcbbf1b3859b012e5f8546e8cb353898bde2 (diff) | |
Add categories of Rigs, Bisemimodules, and Semimodules
Diffstat (limited to 'Data/Mat/Cocartesian.agda')
0 files changed, 0 insertions, 0 deletions