A Hilbert space $H$ induces a formal context, the Hilbert formal context $\overline H$, whose associated concept lattice is isomorphic to the lattice of closed subspaces of $H$. This set of closed subspaces, denoted $\mathcal C(H)$, is important in the development of quantum logic and, as an algebraic structure, corresponds to a so-called ``propositional system'', that is, a complete, atomistic, orthomodular lattice which satisfies the covering law.
In this paper, we continue with our study of the Chu construction by introducing the Chu correspondences between Hilbert contexts, and showing that the category of Propositional Systems, PropSys, is equivalent to the category of $\text{ChuCors}_{\mathcal H}$ of Chu correspondences between Hilbert contexts
