アーレクス・キッシンジャー〈Aleks Kissinger〉の抽象テンソルシステムは、テンソル計算の手順的側面の抽象化として便利です。が、ラベル集合とリラベリング写像の扱いがイマイチな感じがします。アンドレ・ジョイアル〈André Joyal〉のスピシーズ〈組み合…