categorical_structure: Ab, binary sum

This data as json

category construction
Ab binary sum