Non-Commutative Topology and Quantales |
| |
Authors: | Coniglio Marcelo E Miraglia Francisco |
| |
Institution: | (1) Department of Philosophy, State University of Campinas, C.P. 6133, CEP 13081-970 Campinas (SP), Brazil;(2) Institute for Mathematics and Statistics, São Paulo University, C.P. 66281, CEP 05315-970 São Paulo (SP), Brazil |
| |
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. |
| |
Keywords: | non-commutative topology quantales Sheaves C*-algebras |
本文献已被 SpringerLink 等数据库收录! |
|