diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-13 17:05:56 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-13 17:05:56 -0600 |
| commit | c39f2eeea5fab0e5e15fd1ee0fb83a1fb407f703 (patch) | |
| tree | 18520b01a78a674a52507f65789f7951bf3dd1fa /Category/Cartesian/Instance/FinitelyCocompletes.agda | |
| parent | c9da00d8069d77bc4cd253d1197983e87edd1d6f (diff) | |
Transport monoid via base category isomorphism
Diffstat (limited to 'Category/Cartesian/Instance/FinitelyCocompletes.agda')
0 files changed, 0 insertions, 0 deletions