subcategory,supercategory,kind
BanAlg,Ban_k,semigroups
Quant,SupLat,semigroups
SemiGrp,Set,semigroups