少し前(November 18, 2013)のバエズの記事によると、"Categories for the Working Philosopher"という本の企画執筆が進行中らしいです。
その本の著者(the contributors)のラインナップは:
- Samson Abramsky ― Computer Science, etc.
- John Baez ― Applied Mathematics
- John Bell ― Logic/Model Theory
- Bob Coecke ― Quantum Mechanics and Ontology
- Robin Cockett ― Proof Theory/Linear Logic
- David Corfield ― Geometry
- Andrée Ehresmann ― Biology
- Hans Halvorson ― The Structure of Physical Theories
- Kohei Kishida ― Modal Logic
- Jim Lambek ― Special Relativity
- Jean-Pierre Marquis ― First-Order Logic with Dependent Sorts
- Colin McLarty ― Set Theory
- Michael Moortgat ― Linguistics and Computational Semantics
- Michael Shulman ― Univalent Foundations
- David Spivak ― Mathematical Modeling
- James Weatherall ― Spacetime Theories
アブラムスキー、バエズ、シュルマン、クック、スピヴァックあたりは、このブログでも何度も言及している顔ぶれです。
Kohei Kishidaさんも何か記憶にある名前。あっ、そうか、「気になる人々、名前の発音」で触れたアウディと共著の論文の著者ですね。
- Title: Topology and Modality : Extension to First-order Modal Logic
- Authors: アウディ, スティーブ and 岸田, 功平
- URL: http://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/56973
バエズの記事では、バエズ自身の担当部分のドラフトが紹介されています。"Applied Mathematics" というタイトルは変更されて、"Notions of Sameness" となるようです。等しい、同型、同値、さらに高次の同値などに関して分かりやすく説明されています。
"Categories for the Working Philosopher"、出版が楽しみですね。