categorical_structure: CRing, pullback

This data as json

category construction
CRing pullback