categorical_structure: Ring, terminal object

This data as json