Abstract
This paper considers two main aspects of the lower power locale PL(X): first, its relation to the symmetric topos construction of Bunge and Carboni; and second, its points, which, it is shown, are equivalent to the weakly closed sublocales of X with open domain. This is done as part of a more general discussion of arbitrary weakly closed sublocales, including a new characterization using suplattice homomorphisms from o(X) to Sub(1), and a new proof of a theorem of Jibladze relating them to Ω-nuclei.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference25 articles.
1. Geometric theories and databases
2. Squire R. (1989) Presheaf Toposes and Propositional Logic, Ph. D. Thesis, McMaster University. Vermeulen, J. J. C. (1989) Weak Compactness in Constructive Spaces, Technical Report RR079, Department of Mathematics, University of Cape Town.
3. Two notes on frames
4. An extension of the Galois theory of Grothendieck;Joyal;Memoirs Amer. Math. Soc,1984
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献