Constructive theory of the lower power locale

Mathematical Structures in Computer Science

Volumn 6, Issue 1, 1996, Pages 69-83

  Bunge, M ^a   Funk, J ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRUCTIVE THEORY;

THEOREM PROVING;

EID: 0042895851     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129500000876     Document Type: Article

References (26)

1. Borger, R. (1987) On the left adjoint from complete semi-lattices to frames, Haguen Preprint.
2. Bunge, M. and Carboni, A. (1994) The Symmetric Topos. To appear in Journal of Pure and Applied Algebra.
3. Bunge, M. and Funk, J. (1995) Spreads and the Symmetric Topos. To appear in Journal of Pure and Applied Algebra.
4. Fox, R. H. (1957) Covering spaces with singularities. In: Fox, R. H. et al. (eds.) Algebraic Geometry and Topology (A symposium in honor of S. Lefshetz), Princeton University Press 243-257.
5. Funk, J. (1995) The Display Locale of a cosheaf. Cahiers de Top. Geom Biff. Categoriques 36 (1) 53-93.
6. Isbell, J. (1972) Atomless parts of spaces. Math. Scand. 31 5-32.
7. Jibladze, M. and Johnstone, P. T. (1991) The frame of fiberwise closed nuclei. Cahiers de Top. Geom. Dijf. Categoriques 32 (2) 99-112.
8. Johnstone, P. T (1981) Factorization theorems for localic geometric morphisms, I. Cahiers de Top. Geom Dijf. Categoriques 22 3-17.
9. Johnstone, P. T. (1982) Stone Spaces, Cambridge University Press.
10. Johnstone, P. T. (1985) Vietoris Locales and Localic Semilattices. In: Hoffman, R. E. and Hoffmari, K. H. (eds.) Continuous Lattices and Their Applications, Marcel Dekker 155-180.
11. Johnstone, P. T (1989) A constructive 'closed subgroup theorem' for localic groups and groupoids. Cahiers de Top. Geom. Diff. Categoriques 30 3-23.
12. Johnstone, P. T. (1992) Partial Products, Bagdomains and Hyperlocal Toposes. In: Fourman, M. P., Johnstone, P. T and Pitts, A. M. (eds.) Applications of Categories in Computer Science, London Mathematical Society Lecture Notes Series 177, Cambridge University Press 315-339.
13. Joyal, A. and Tierney, M. (1984) An extension of the Galois theory of Grothendieck. Memoirs Amer. Math. Soc. 309.
14. Kock, A. (1993) Monads for which structures are adjoint to units. To appear in Journal of Pure and Applied Algebra.
15. Kock, A. (1994) Some Extensive Quantities in Locale Theory - a comment on a theorem of Bunge and Funk. Talk given at the Peripatetic Seminar on Sheaves and Logic, Aarhus, December 1994 (unpublished).
16. Lawvere, F. W. (1983) Measures on Toposes. Lectures given at the Workshop on Category Theoretic Methods in Geometry, Aarhus, June 1983.
17. Macnab, D. S. (1981) Modal operators on Heyting algebras. Algebra Universalis 12 5-29.
18. Pitts, A. M. (1985) On product and change of base for toposes. Cahiers de Top. Geom. Diff. Categoriques 26 (1) 43-61.
19. Pitts, A. M. (1986) The lex reflection of a category with finite products, unpublished notes, December 1986.
20. Robinson, E. (1986) Power-Domains, Modalities and the Vietoris Monad, Technical Report No. 98, University of Cambridge Computer Laboratory.
21. Rosebrugh, R. and Wood, R. (1991) Constructive Complete Distributivity II. Math. Proc. Comb. Phil. Soc. 110 245-249.
22. Squire, R. (1989) Presheaf Toposes and Propositional Logic, Ph. D. Thesis, McMaster University.
23. Vermeulen, J. J. C. (1989) Weak Compactness in Constructive Spaces, Technical Report RR079, Department of Mathematics, University of Cape Town.
24. Vickers, S. (1989) Topology via Logic, Cambridge Tracts in Theoretical Computer Science 5 Cambridge University Press.
25. Vickers, S. (1992) Geometric Theories and Databases. In: Fourman, M. P., Johnstone, P. T. and Pitts, A. M. (eds.) Applications of Categories in Computer Science, London Mathematical Society Lecture Notes Series 177, Cambridge University Press 288-314.
26. Wigner, D. (1979) Two notes on frames. J. Austral. Math. Soc. Ser. A 28 257-268.