categorical_structure: CRing, binary product

This data as json