catabase
| diagram | is_colimit | construction |
|---|---|---|
| empty diagram | 0 | terminal object |
| pair of points | 0 | binary product |
| cospan | 0 | pullback |
| pair of parallel arrows | 0 | equalizer |
| tower | 0 | directed limit |
| endomorphism | 0 | idempotent splitting |
| empty diagram | 1 | initial object |
| pair of points | 1 | binary sum |
| span | 1 | pushout |
| pair of parallel arrows | 1 | coequalizer |
| tower | 1 | directed colimit |
| endomorphism | 1 | idempotent splitting |