A note on frame distributions
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 40 (1999) no. 2, p. 127-140
@article{CTGDC_1999__40_2_127_0,
     author = {Kock, Anders and Reyes, Gonzalo E.},
     title = {A note on frame distributions},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {40},
     number = {2},
     year = {1999},
     pages = {127-140},
     zbl = {0934.18003},
     mrnumber = {1697036},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1999__40_2_127_0}
}
Kock, Anders; Reyes, Gonzalo. A note on frame distributions. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Volume 40 (1999) no. 2, pp. 127-140. http://www.numdam.org/item/CTGDC_1999__40_2_127_0/

[1] M. Bunge and J. Funk, Constructive Theory of the Lower Power Locale, Math. Struct. in Comp. Science 6 (1996), 69-83. | MR 1386115 | Zbl 0849.18003

[2] M. Bunge and J. Funk, Spreads and the symmetric topos II, Journ. Pure Appl. Alg. 130 (1998), 49-84. Appl. Alg. | MR 1632807 | Zbl 0924.18001

[3] M. Jibladze and P.T. Johnstone, The frame of fibrewise closed nuclei, Cahiers Top. Géom. Diff. Catégoriques 32 (1991), 99-112. | Numdam | MR 1142684 | Zbl 0762.06005

[4] P.T. Johnstone, Stone Spaces, Cambridge University Press 1982 | MR 698074 | Zbl 0499.54001

[5] P.T. Johnstone, A constructive 'closed subgroup theorem' for localic groups and groupoids, Cahiers Top. Géom. Diff. Catégoriques 30 (1989), 3-23. | Numdam | MR 1000828 | Zbl 0668.03028

[6] A. Joyal and M. Tierney, An extension of the Galois theory of Grothendieck, Memoirs A.M.S. 309 (1984) | MR 756176 | Zbl 0541.18002

[7] A. Kock and T. Plewe, Glueing analysis for complemented subtoposes, Theory and Appl. of Categories Vol. 2 No. 9 (1996). | MR 1416753 | Zbl 0876.18001

[8] A. Kock and G.E. Reyes, Relatively Boolean and de Morgan Toposes and Locales, Cahiers Top. Géom. Diff. Catégoriques 35 (1994), 249-261. | Numdam | MR 1295120 | Zbl 0806.18002

[9] F.W. Lawvere, Measures on Toposes, Lectures given at the Workshop on Category Theoretic Methods in Geometry, Aarhus University 1983 (unpublished).

[10] F.W. Lawvere, Categories of space and quantity. In J. Echeverría, A. Ibarra, and T. Mormann (eds.). The Space of Mathematics. Berlin: de Gruyter 1992. | MR 1214608 | Zbl 0846.18001

[11] D.S. Macnab, Modal operators on Heyting algebras, Algebra Universalis 12 (1981), 5.29. | MR 608645 | Zbl 0459.06005