続・森田同値

森田の定理って1958年に発表されていたのか。古いんだなー。

森田同値や、それを実現する森田双加群（morita bimodule）の代数的プログラム意味論での対応物があるはずだと思う。

ほんとのところ、環と加群ではなくて（非可換）半環と半加群だから、アーベル圏的な議論はほとんど通用しない。証明もそのまま使えないだろう。だが、現象の類似性はあるように思える。双模倣やトランスデューサーを使って定式化できると予想される。

アーベル圏なしで森田同値が定義できれば、アーベル圏が使えない状況に対する処方とヒントが得られるかも知れない。森田同値をある種のホモトピー同値として捉えられたりすると「とても良い」のだが、それは妄想だろうな。