categorical_structure: Top, pushout

This data as json

category construction
Top pushout