categorical_structure: FinHilb, initial object

This data as json

category construction
FinHilb initial object