スピヴァック〈David I. Spivak〉が、集合圏上の多項式関手に関して使用している $`y^A`$ のような記法を「米田テンソル計算 3： 米田の「よ」、米田の星、ディラックのブラケット 再論 // スピヴァックの指数記法」で紹介しました。指数記法はとても具合が…