catabase

Custom SQL query returning 12 rows (hide)

This data as json, CSV

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