example_categeory,complete_2category
FinVect_k,CompCat
FinVect_k,TracedSymmMonCat