category,category_label,construction,construction_label
SSet,SSet,binary product,binary product
SSet,SSet,initial object,initial object
SSet,SSet,terminal object,terminal object