catabase

Custom SQL query returning 6 rows (hide)

Query parameters

This data as json, CSV

diagramis_colimitconstruction
empty diagram 1 initial object
endomorphism 1 idempotent splitting
pair of parallel arrows 1 coequalizer
pair of points 1 binary sum
span 1 pushout
tower 1 directed colimit