category,category_label,construction,construction_label
Ab,Ab,binary product,binary product
CRing,CRing,binary product,binary product
Circ,Circ,binary product,binary product
DGph,DGph,binary product,binary product
Diff,Diff,binary product,binary product
Grp,Grp,binary product,binary product
Quiv,Quiv,binary product,binary product
SSet,SSet,binary product,binary product
Set,Set,binary product,binary product
Top,Top,binary product,binary product
Vect_k,Vect_k,binary product,binary product