categorical_structure: Top, coequalizer

This data as json

category construction
Top coequalizer