diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-06-14 20:18:37 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-06-14 20:18:37 -0500 |
| commit | 4df023f2f98b5105dbd3164f74fe7b431dd628bc (patch) | |
| tree | ef37f9edd0488e084bfbebb8d987ec986e663641 /Util.agda | |
| parent | d3afafee32948d3e884224fd9701a69226c621f2 (diff) | |
Finish category of cospans
For a category C with all pushouts, Cospans(C) is a category with the
same objects as C and with a morphism f : X -> Y for each cospan
X -> Z <- Y in C.
Diffstat (limited to 'Util.agda')
0 files changed, 0 insertions, 0 deletions