バエズ、アブラムスキー、ジラール等が描くビッグピクチャー：分野を貫く不思議な共通性 - 檜山正幸のキマイラ飼育記 (はてなBlog)※ 子供の話ばかりじゃアレ(?)だから、「カリー／ハワード（Curry-Howard）対応をうんと一般化するとどうなるか」みたいなネタで。 以前紹介したことがあるバエズ＆ステイのロゼッタストーン論文がarXivに入っていました。 題名: Physics, Topology, Logic and Computation: A Rosetta Stone 著者: John C. Baez, Mike Stay URL: http://arxiv.org/abs/0903.0340 ページ数: 73 この論文の最後のほうにある「The Rosetta Stone テーブル」のlarger versionは次のようなものです。 画像だとコピーに不便ですからテキストにしたもの： Category Theory Physics Topology Logic Computation object Hil
