论文信息 - Noncommutativity as a Colimit

Noncommutativity as a Colimit

We give substance to the motto “every partial algebra is the colimit of its total subalgebras” by proving it for partial Boolean algebras (including orthomodular lattices), the new notion of partial C*-algebras (including noncommutative C*-algebras), and variations such as partial complete Boolean algebras and partial AW*-algebras. Both pairs of results are related by taking projections. As corollaries we find extensions of Stone duality and Gelfand duality. Finally, we investigate the extent to which the Bohrification construction (Heunen et al. 2010), that works on partial C*-algebras, is functorial.

Chris Heunen | Benno van den Berg | C. Heunen | B. V. D. Berg

[1] Andreas Döring. Kochen–Specker Theorem for von Neumann Algebras , 2005 .

[2] Miklós Rédei,et al. Quantum Logic in Algebraic Approach , 1998 .

[3] R. Kadison,et al. Fundamentals of the Theory of Operator Algebras , 1983 .

[4] E. Specker,et al. The Problem of Hidden Variables in Quantum Mechanics , 1967 .

[5] G. Kalmbach. On Orthomodular Lattices , 1990 .

[6] S. Maclane,et al. Categories for the Working Mathematician , 1971 .

[7] T. Coquand,et al. Constructive Gelfand duality for C*-algebras , 2008, Mathematical Proceedings of the Cambridge Philosophical Society.

[8] P. Johnstone. Sketches of an Elephant: A Topos Theory Compendium Volume 1 , 2002 .

[9] A. Grothendieck,et al. Le langage des schémas , 1960 .

[10] Andreas Doering,et al. “What is a Thing?”: Topos Theory in the Foundations of Physics , 2008, 0803.0417.

[11] A. Grothendieck. Éléments de géométrie algébrique : I. Le langage des schémas , 1960 .

[12] Alain Connes,et al. A Factor Not Anti-Isomorphic to Itself , 1975 .

[13] George Grätzer,et al. On the lattice of subalgebras of a Boolean algebra , 1972 .

[14] P. W. Ng,et al. Completely positive maps into corona algebras , 2009, Mathematical Proceedings of the Cambridge Philosophical Society.

[15] Hans Halvorson,et al. Deep beauty : understanding the quantum world through mathematical innovation , 2011 .