マニン（Yuri I. Manin）つうジイサマは、ほんとに凄い！ http://arxiv.org/find/math/1/au:+Manin_Y/0/1/0/all/0/1

「森田同値は役に立ちそうだ」は僕の勘と思い込みだから、まったくの間違いである可能性がある。が、とりあえずはいい目標が出来た。代数的プログラム意味論のなかで森田の定理を再現したい。つまり、森田同値と森田双加群の1：1対応を作りたい。森田同値は…