subcategories: CompCat, TracedSymmMonCat

This data as json