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