catabase

Custom SQL query returning 12 rows (hide)

This data as json, CSV

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