logical_completeness: CompCat

This data as json

example_categeory complete_2category
FinVect_k CompCat