categorical_structure: Ring, initial object

This data as json

category construction
Ring initial object