monoidal_categories: Cat

This data as json

category structure_hr
Cat categorical product