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