Constructive points of Powerlocales

  title={Constructive points of Powerlocales},
  author={Steven Vickers},
Results of Bunge and Funk and of Johnstone, providing constructively sound descriptions of the global points of the lower and upper powerlocales, are extended here to describe the generalized points and proved in a way that displays in a symmetric fashion two complementary treatments of frames: as suplattices and as preframes. We then also describe the points of the Vietoris powerlocale. In each of two special cases, an exponential $ D ($ being the Sierpinsky locale) is shown to be homeomorphic… CONTINUE READING

From This Paper

Topics from this paper.
27 Citations
13 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 13 references

Preframe presentations present

  • Peter T. Johnstone, Steven J. Vickers
  • Category Theory - Proceedings,
  • 1990
Highly Influential
9 Excerpts

Another look at the localic Tychono theorem

  • B. Banaschewski
  • Commentationes Mathe- maticae Universitatis…
  • 1988
Highly Influential
5 Excerpts

Vietoris locales and localic semi-lattices

  • Peter T. Johnstone
  • 1985
Highly Influential
8 Excerpts

An Extension of the Galois Theory of Grothendieck, volume 309 of Memoirs of the American Mathematical Society

  • Andr e Joyal, Miles Tierney
  • 1984
Highly Influential
6 Excerpts

Open locales and exponentiation

  • Peter T. Johnstone
  • Contemporary Mathematics,
  • 1984
Highly Influential
4 Excerpts

Local compactness and continuous lattices. volume 871 of Springer Lecture Notes in Mathematics, pages

  • K. H. Hofmann, M. W. Mislove
  • 1981
Highly Influential
3 Excerpts

Proper maps of locales

  • J.J.C. Vermeulen
  • Journal of Pure and Applied Algebra,
  • 1994
1 Excerpt

Similar Papers

Loading similar papers…