catabase
diagram | is_colimit | construction |
---|---|---|
cospan | 0 | pullback |
empty diagram | 0 | terminal object |
endomorphism | 0 | idempotent splitting |
pair of parallel arrows | 0 | equalizer |
pair of points | 0 | binary product |
tower | 0 | directed limit |
diagram | is_colimit | construction |
---|---|---|
cospan | 0 | pullback |
empty diagram | 0 | terminal object |
endomorphism | 0 | idempotent splitting |
pair of parallel arrows | 0 | equalizer |
pair of points | 0 | binary product |
tower | 0 | directed limit |