B. van den Berg
C. Heunen
2011
Noncommutativity as a colimit
10.1007/s10485-011-9246-3
To appear in Applied Categorical Structures. Available as arXiv:1003.3618.
A. Döring
2005
Kochen-Specker theorem for Von Neumann algebras
International Journal of Theoretical Physics
44
2
139–160
10.1007/s10773-005-1490-6
C. Heunen
N.P. Landsman
B. Spitters
2011
Bohrification
Deep Beauty—Understanding the Quantum World through Mathematical Innovation
Cambridge University Press
10.1017/CBO9780511976971.008
P.T. Johnstone
1982
Stone spaces
Cambridge studies in advanced mathematics
3
Cambridge University Press
P.T. Johnstone
2002
Sketches of an elephant: A topos theory compendium
Oxford University Press
S. Kochen
E. Specker
1967
The problem of hidden variables in quantum mechanics
Journal of Mathematics and Mechanics
17
59–87
10.1512/iumj.1968.17.17004
D. Kruml
J.W. Pelletier
P. Resende
J. Rosicky
2003
On quantales and spectra of C*-algebras
Applied Categorical Structures
11
6
543–560
10.1023/A:1026106305210
T.Y. Lam
1999
Lectures on Modules and Rings
Graduate texts in mathematics
189
Springer
M. L. Reyes
2011
Obstructing extensions of the functor Spec to noncommutative rings
To appear in the Israel Journal of Mathematics. Available as arXiv:1101.2239.
J. Rosicky
1989
Multiplicative lattices and C*-algebras
Cahiers de topologie et géométrie différentielle catégoriques
30
2
95–110
http://www.numdam.org/item?id=CTGDC_1989__30_2_95_0