Abstract
The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, which permits us to express the usual topological properties of separation. The notion of stalks of sheaves over quantales is introduced, and some results in categorial model theory are obtained.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Akemann, C. A., ‘The general Stone-Weierstrass problem’, Journal of Functional Analysis 4 (1969), 277-294.
Akemann, C. A., ‘Left ideal structure of C*-algebras’, Journal of Functional Analysis 6 (1970), 305-317.
Borceux, F., J. RosickÝ, G. van den Bossche, ‘Quantales and C*-algebras’, Journal of the London Mathematical Society 40 (1989), 398-404.
Borceux, F., G. van den Bossche, ‘Quantales and their Sheaves’, Order 3 (1986), 61-87.
Borceux, F., G. van den Bossche, ‘An essay on noncommutative topology’, Topology and its Applications 31 (1989), 203-223.
Coniglio, M. E., ‘The logic of sheaves over right Sided and idempotent quantales’, Doctoral Thesis (in Portuguese), São Paulo University, 1997.
Coniglio, M. E., F. Miraglia, ‘Modules in the category of Sheaves over quantales’ (submitted).
Dixmier, J., Les C*-algèbres et leurs Représentations Gauthiers-Villars, Paris, 1964.
Giles, R., H. Kummer, ‘A non-commutative generalization of topology’, Indiana University Mathematics Journal 21,no. 1 (1971), 91-102.
Johnstone, P., ‘Notes on categorical logic’, Tutorials of Wollic '97, Fortaleza, 1997.
Miraglia, F., U. Solitro, ‘Sheaves over right sided idempotent quantales’, Logic Journal of the IGPL 6,no. 4 (1998), 545-600.
Mulvey, C. J., '&', Suppl. Rend. Circ. Mat. Palermo Ser. II, 12 (1986), 99-104.
Mulvey, C. J., J. W. Pelletier, ‘On the quantisation of points’ (to appear).
Rosenthal, K. I., Quantales and their Applications, Longman Scientific and Technical, Essex, 1990.
RosickÝ, J., ‘Multiplicative lattices and C*-algebras’, Cahiers de Topologie et Geometrie Differentielle Categorique 30 (1989), 95-110.
RosickÝ, J., ‘Characterizing spatial quantales’, Algebra Universalis 34 (1995), 175-178.
RosickÝ, J., J. W. Pelletier, ‘Simple involutive quantales’, Journal of Algebra 195 (1997), 367-386.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Coniglio, M.E., Miraglia, F. Non-Commutative Topology and Quantales. Studia Logica 65, 223–236 (2000). https://doi.org/10.1023/A:1005267714448
Issue Date:
DOI: https://doi.org/10.1023/A:1005267714448