categorical_structure: Comp, pullback

This data as json

category construction
Comp pullback