category,construction
Ab,binary sum
CRing,binary sum
Comp,binary sum
Diff,binary sum
Grp,binary sum
Set,binary sum
Top,binary sum
Top*,binary sum
Vect_k,binary sum