On the amnestic modification of the category of state property systems (Q1866040): Difference between revisions

A state property system is a triple consisting of a set of states, a complete lattice of properties and a specified function linking the other two components. In this paper the authors give an isomorphic description of the category of state property systems, thus introducing a category \textbf{SP} which is concrete over \textbf{Set}. This isomorphic description enables them to investigate further categorical properties of \textbf{SP}. Their main theorem says that the amnestic modification of \textbf{SP} is the construct \textbf{Cls} of closure spaces and continuous maps.