categorical_structure: LieGrp, equalizer

This data as json

category construction
LieGrp equalizer