example_categeory,example_categeory_label,complete_2category,complete_2category_label
FinHilb,FinHilb,DagCompCat,DagCompCat
FinVect_k,FinVect_k,TracedSymmMonCat,TracedSymmMonCat
FinVect_k,FinVect_k,CompCat,CompCat