categorical_structure: CRing, pushout

This data as json