categorical_structure: Set, pullback

This data as json

category construction
Set pullback