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