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