diagram,diagram_label,is_colimit,construction,construction_label
tower,tower,1,directed colimit,directed colimit