多線形代数

結局、スパイダーの絵にキチンと対応する多線形代数 -- 多圏ベースの線形代数を作らないとダメなんだと思う。

多線形代数における行列として多行列〈polymatrix〉を定義して、多行列の計算体系が多圏のなかでどう解釈されるかを明示しないと曖昧さは解消しないだろう。

多線形代数における多射＝スパイダーとその結合をちゃんと定義すべし。