日々の流転

λ. “&” by Christopher J. Mulvey

Quantale - Algebraic Toplogy: A guide to literature に「Quantale とは quantum locale という意味らしい」と書かれていて、Quantaleの語源が気になった。Topology via Logic によると、Quantale という言葉が導入されたのは C.J.Mulveyによる以下の文献らしい*1。

Christopher J. Mulvey, “&”, pp.99-104 in Supplemento ai Rendiconti del Circolo Matematico di Palermo, Serie II no. 12, 1986

This note summarises three intertwining observations, concerned with non-commutative C*-algebras, with constructive foundations for quantum mechanics, and with non-commutative logics, made at the Category Meeting at Oberwolfach in September, 1983

quantaleの名前の由来は書いてなかったものの、量子論理のようなものが念頭にあったのは確かなようで、quantum locale というのは確かにありそうだと思った。

ただ、私はC*-環(C*-algebras)が分かってないので、この論文のメインの部分はぜんぜん分からず、残念……