森田の定理（Morita theorem）がどんな主張かはじめて知った。可換とは限らない環A、Bがあるとき、左加群の圏 A-Mod, B-Mod が圏同値であるとき、AとBは森田同値という（定義）。森田同値が、多元環の同型から導かれるとは限らない。森田同値の具体的な姿を…

次は対象にしたい。 ペンローズ／カウフマンの図式テンソル計算 イエッターの圏ラベル付きタングルの計算 何種類かのシーケント計算 非可換多元環上のn方加群の計算 最後の加群の計算はスパンになるので、テンソル計算とはまったく別物かもしれない。統合で…