categorical_structure: Eff, terminal object

This data as json

category construction
Eff terminal object