categorical_structure: Top, pullback

This data as json

category construction
Top pullback