Yet another duality theorem for locally compact spaces (Q2822585)

There is a duality between the class of compact Hausdorff spaces and the class of pairs \((B,\rho)\), where \(B\)~is a complete Boolean algebra and \(\rho\)~is a relation on~\(B\). Given a space~\(X\) one lets \(B\) be the algebra of regular closed sets and one stipulates that \(F\mathrel\rho G\) means \(F\subseteq\text{int}G\) (in a dual situation \(F\mathrel\rho G\) can be taken to mean that \(F\cap G\neq\emptyset\)). Conversely, from \((B,\rho)\) one obtains a space~\(X\) as a space of ultrafilter-like objects. One can extend this duality to the class locally compact spaces on one side and a class of pairs \((B,\rho,I)\) where \(I\)~is an ideal in~\(B\), destined to correspond to the family of compact regular closed sets (so \(I=B\) is the space is compact).NEWLINENEWLINEThough the morphisms on the algebraic side are normal maps their composition is not the normal set-theoretic one. In this paper the authors show that one can take certain multi-valued maps between triples as morphisms and then have the composition be the `normal' one, thus obtaining a new duality.