categories_of_semigroups: Ban_k, BanAlg

This data as json