Abstract
State property systems were created on the basis of physical intuition in order to describe a mathematical model for physical systems. A state property system consists of a triple: a set of states, a complete lattice of properties and a specified function linking the other two components. The definition of morphisms between such objects was inspired by the physical idea of a subsystem. In this paper we give an isomorphic description of the category of state property systems, thus introducing a category SP, which is concrete over Set. This isomorphic description enables us to investigate further categorical properties of SP. It turns out that the category SP is not amnestic. In our main theorem we prove that the amnestic modification of SP is the construct Cls of closure spaces and continuous maps. Moreover we observe that the categorical product and coproduct in Cls find, through SP, application in physics.
Similar content being viewed by others
References
Adámek, J., Herrlich, H. and Strecker, G. E.: Abstract and Concrete Categories, Wiley, New York, 1990.
Aerts, D.: Description of many physical entities without the paradoxes encountered in quantum mechanics, Foundations of Physics 12 (1982), 1131-1170.
Aerts, D.: Construction of the tensor product for the lattices of properties of physical entities, Journal of Mathematical Physics 25 (1984), 1434-1441.
Aerts, D.: Quantum structures, separated physical entities and probability, Foundations of Physics 24 (1994), 1227-1259.
Aerts, D.: Foundations of quantum physics: a general realistic and operational approach, International Journal of Theoretical Physics 38 (1999), 289-358.
Aerts, D., Colebunders, E., Van der Voorde, A. and Van Steirteghem, B.: State property systems and closure spaces: a study of categorical equivalence, International Journal of Theoretical Physics 38 (1999), 359-385.
Aumann, G.: Kontaktrelationen, Sitz. Ber. Bayer. Ak. Wiss., Math.-Nat. Kl. (1970), 67-77.
Bennett, M. K.: Affine and Projective Geometry, John Wiley and Sons, Inc., New York, 1995.
Birkhoff, G.: Lattice Theory, American Mathematical Society, Providence, Rhode Island, 1967.
Dikranjan, D., Giuli, E. and Tozzi, A.: Topological categories and closure operators. Quaestiones Mathematicae 11 (1988), 323-337.
Erné, M.: Lattice representations for categories of closure spaces, Categorical Topology, Sigma Series in Pure Mathematics 5, Heldermann Verlag, Berlin, 1984, pp. 197-222.
Faure, Cl. A. and Frölicher, A.: Morphisms of projective geometries and of corresponding lattices, Geometriae Dedicata 47 (1993), 25-40.
Faure, Cl. A. and Frölicher, A.: Modern Projective Geometry, Kluwer Academic Publishers, 2000.
Faure, Cl. A.: Categories of closure spaces and corresponding lattices, Cahier de topologie et géometrie différentielle catégoriques 35 (1994), 309-319.
Ganter, B. and Wille, R.: Formal Concept Analysis, Springer, Berlin, 1998.
Moore, D. J.: Categories of representations of physical systems, Helvetica Physica Acta 68 (1995), 658-678.
Moore, D. J.: Closure categories, International Journal of Theoretical Physics 36 (1997), 2707-2723.
Moore, D. J.: On state spaces and property lattices, Studies in the History and Philosophy of Modern Physics 30 (1999), 61-83.
Piron, C.: Mécanique quantique. Bases et applications, Presses polytechniques et universitaires romandes, Lausanne. Second edition (1998).
Preuss, G.: Theory of Topological Structures, D. Reidel Publishing Company, 1988.
Van der Voorde, A.: A categorical approach to T1 separation and the product of state property systems, International Journal of Theoretical Physics 39 (2000), 947-953.
Van der Voorde, A.: Doctoral Thesis, Brussels Free University, in preparation.
Van Steirteghem, B.: T0 separation in axiomatic quantum mechanics, International Journal of Theoretical Physics 39 (2000), 955-962.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Aerts, D., Colebunders, E., Van der Voorde, A. et al. On the Amnestic Modification of the Category of State Property Systems. Applied Categorical Structures 10, 469–480 (2002). https://doi.org/10.1023/A:1020501521418
Issue Date:
DOI: https://doi.org/10.1023/A:1020501521418