categorical_structure: CRing, terminal object

This data as json

category construction
CRing terminal object