toward TrCat = cob/*-alg