categories_of_semigroups: Set, SemiGrp

This data as json

internal_semigroups parent
SemiGrp Set