State Property Systems and Closure Spaces: a study of categorical equivalence (1999)
| Citations: | 26 - 25 self |
BibTeX
@MISC{Aerts99stateproperty,
author = {Diederik Aerts and Eva Colebunders and Ann Van der Voorde and Bart Van Steirteghem},
title = {State Property Systems and Closure Spaces: a study of categorical equivalence},
year = {1999}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 `T 0 separation axiom' for closure spaces. We also prove that the category SP 0 of state determined state property systems is equivalent to the category L 0 of based complete lattices. In this sense the equivalence of SP and Cls generalizes the equivalence of Cls 0 (T 0 closure spaces) and L 0 , proven in (Erne 1984).
