monoidal_categories: Set

This data as json

category structure_hr
Set categorical product