categorical_structure: DGph, equalizer

This data as json

category construction
DGph equalizer