ボブとダリアーノ
最近、Pavia大のボスのダリアーノからメールが来た。
関連エントリー
Tokyo Quantum Meeting(圏論勉強会) - hiroki_fの日記
オクスフォード大でボブクックが開いたミーティングにダリアーノが呼ばれて、議論を交わしたとのこと。
セリンガーと共著論文を書いたヴァリオンが研究について彼らのグループに説明をしたとか。
そして、圏論と量子力学とλ計算の関連性について、ますます理解と確信を深めたとか。
興奮気味のメールが来た。
おもしろいことがおきつつあるんだな。
圏論ってすごいんですよ。圏論だけでは物理は語れないので、それに何かを付け加えなくちゃいけないですが、その何かについて理解が深まれば、物理の標準的な解析方法になるのではないかと妄想してます。
圏論での物理学をやることについてのオリジナルはセリンガー達の方にあるとは思いますが、Pavia大のグループの圏論の適用の仕方はより良い方法だと思っています。
この2つのグループが共同作業を始めたので、この手の理論はこれから発達していくと思います。
僕も(は)よくは分かってないんですけどね。
圏論へようこそ。
告知:「モニャモニャモナド」または「技術者/プログラマのためのモナドと圏論」セミナー 第1回 - 檜山正幸のキマイラ飼育記