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