diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-08-24 12:59:59 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-08-24 12:59:59 -0500 |
| commit | dc3b799d6f9cdd4fb0b2b32f323b7128ccc14a80 (patch) | |
| tree | 142676656f8d57ac8680611d026209806c65d313 /Category/Cocomplete/Finitely | |
| parent | 4df023f2f98b5105dbd3164f74fe7b431dd628bc (diff) | |
Generalize coequalizer result to arbitrary category
Diffstat (limited to 'Category/Cocomplete/Finitely')
0 files changed, 0 insertions, 0 deletions