6 search results - page 1 / 2 » Duality and canonical extensions for stably compact spaces |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
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.
ENTCS
2006
13 years 4 months ago
2006
In 1937 Marshall Stone extended his celebrated representation theorem for Boolean algebras to distributive lattices. In modern terminology, the representing topological spaces are...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
ACS
2007
13 years 4 months ago
2007
We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawso...
CGF
2010
13 years 4 months ago
2010
Statistical shape modeling is a widely used technique for the representation and analysis of the shapes and shape variations present in a population. A statistical shape model mod...