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