categorical_structure: CRing, binary sum

This data as json

category construction
CRing binary sum