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