Ann Van der Voorde | Searcharxiv

arXiv2004

Classicality and connectedness for state property systems and closure spaces

It has been shown that there is a categorical equivalence between the category SPS of state property systems and the category Cl of closure spaces. In this note we prove, using this equivalence between categories, that the concept of connectedness for closure spaces can be used to formulate a decomposition theorem, which allows us to split a state property system into a number of 'pure nonclassical state property systems' and a 'totally classical state property system'.

quant-ph↗

arXiv2001

State property systems and closure spaces: a study of categorical equivalence

We show that the natural mathematical structure to describe a physical entity by means of its states and its properties within the Geneva-Brussels approach is that of a state property system. We prove that the category of state property systems (and morphisms), SP, is equivalent to the category of closure spaces (and continuous maps), Cls. We show the equivalence of the 'state determination axiom' for state property systems with the 'T0 separation axiom' for closure spaces. We also prove that the category SP0 of state determined state property systems is equivalent to the category L0 of based complete lattices. In this sense the equivalence of SP and Cls generalizes the equivalence of Cls0 and L0, proven in Erne 1984.

quant-ph↗