category,category_label,construction,construction_label
Vect_k,Vect_k,binary product,binary product
Vect_k,Vect_k,binary sum,binary sum
Vect_k,Vect_k,initial object,initial object
Vect_k,Vect_k,terminal object,terminal object