categorical_structure: Set, binary product

This data as json

category construction
Set binary product