昨日の「ボブ・クックの『物理系実務者のための圏論入門』」に補足。 実際にそうなんだからしょうがない、っつうの! まず、「物理系実務者のための圏論入門」の要旨(abstract)をイイカゲンに訳すと: この論説の目的は、物理関係者 -- 特に量子力学/量子情報学の研究者や利用者に、圏論が日々の実践に必須な道具であることを納得してもらうことである。圏論が役に立つ理由は、それがよりカッコヨク数学を行う手段であるからではない。そんなこっちゃなくて、モノイド圏が、実務上の物理システムを実際に表現する代数構造に他ならないからである。 この解説では、精密厳格な定義や数学的に整合した理論を提示することはしない。その代わり読者を、圏論の世界(その一部だが)を周遊する旅に招待しよう。それは、物理関係者にも十分に楽しめる旅だと思う。 注目して欲しいのは、「モノイド圏が、実務上の物理システムを実際に表現する代数構