Abstract
The category SP of state property systems and their morphisms was presentedby Aerts et al. In the present article I will present the functors which establishthe equivalence of this category SP and the category Cls of closure spaces andcontinuous maps. Aerts et al. and Van Steirteghem proved that T0 closure spacescorrespond to 'state determined' state property systems. In this paper I will showthat T1 closure spaces correspond to 'atomistic' state property systems. I alsouse the equivalence between the categories SP and Cls to construct the productof state property systems.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
