diagram,diagram_label,is_colimit,construction,construction_label
cospan,cospan,0,pullback,pullback
empty diagram,empty diagram,0,terminal object,terminal object
endomorphism,endomorphism,0,idempotent splitting,idempotent splitting
pair of parallel arrows,pair of parallel arrows,0,equalizer,equalizer
pair of points,pair of points,0,binary product,binary product
tower,tower,0,directed limit,directed limit