Duality and canonical extensions for stably compact spaces
General Topology
2012-06-28 v2 Logic in Computer Science
Category Theory
Logic
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.
Cite
@article{arxiv.1009.3410,
title = {Duality and canonical extensions for stably compact spaces},
author = {Sam van Gool},
journal= {arXiv preprint arXiv:1009.3410},
year = {2012}
}
Comments
29 pages, 1 figure