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