ボブとダリアーノ

最近、Pavia大のボスのダリアーノからメールが来た。

関連エントリー
Tokyo Quantum Meeting(圏論勉強会) - hiroki_fの日記

オクスフォード大でボブクックが開いたミーティングにダリアーノが呼ばれて、議論を交わしたとのこと。

セリンガーと共著論文を書いたヴァリオンが研究について彼らのグループに説明をしたとか。

そして、圏論量子力学λ計算の関連性について、ますます理解と確信を深めたとか。

興奮気味のメールが来た。

おもしろいことがおきつつあるんだな。

圏論ってすごいんですよ。圏論だけでは物理は語れないので、それに何かを付け加えなくちゃいけないですが、その何かについて理解が深まれば、物理の標準的な解析方法になるのではないかと妄想してます。

圏論での物理学をやることについてのオリジナルはセリンガー達の方にあるとは思いますが、Pavia大のグループの圏論の適用の仕方はより良い方法だと思っています。

この2つのグループが共同作業を始めたので、この手の理論はこれから発達していくと思います。

僕も(は)よくは分かってないんですけどね。

圏論へようこそ。
告知:「モニャモニャモナド」または「技術者/プログラマのためのモナドと圏論」セミナー 第1回 - 檜山正幸のキマイラ飼育記