category,category_label,construction,construction_label
Comp,Comp,binary sum,binary sum
Comp,Comp,pullback,pullback