categorical_structure: Grp, coequalizer

This data as json

category construction
Grp coequalizer