diagram,diagram_label,is_colimit,construction,construction_label
empty diagram,empty diagram,0,terminal object,terminal object
empty diagram,empty diagram,1,initial object,initial object