Duality and canonical extensions for stably compact spaces
arXiv:1009.3410 · doi:10.1016/j.topol.2011.09.040
Abstract
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct pi- and sigma-extensions.
29 pages, 1 figure