categorical_structure: Mod(Ab), terminal object

This data as json

category construction
Mod(Ab) terminal object