category,category_label,construction,construction_label
Quiv,Quiv,binary product,binary product
Quiv,Quiv,equalizer,equalizer
Quiv,Quiv,pullback,pullback