category,category_label,construction,construction_label
Hilb,Hilb,initial object,initial object
Hilb,Hilb,terminal object,terminal object