category,category_label,construction,construction_label
Grp,Grp,binary product,binary product
Grp,Grp,binary sum,binary sum
Grp,Grp,coequalizer,coequalizer
Grp,Grp,equalizer,equalizer
Grp,Grp,initial object,initial object
Grp,Grp,pullback,pullback
Grp,Grp,pushout,pushout
Grp,Grp,terminal object,terminal object