categorical_structure: Set, coequalizer

This data as json

category construction
Set coequalizer