A note on frame distributions

Anders Kock; Gonzalo Reyes

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1999)

  • Volume: 40, Issue: 2, page 127-140
  • ISSN: 1245-530X

How to cite


Kock, Anders, and Reyes, Gonzalo. "A note on frame distributions." Cahiers de Topologie et Géométrie Différentielle Catégoriques 40.2 (1999): 127-140. <http://eudml.org/doc/91615>.

author = {Kock, Anders, Reyes, Gonzalo},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {locales; frames; distributions; constructive mathematics},
language = {eng},
number = {2},
pages = {127-140},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {A note on frame distributions},
url = {http://eudml.org/doc/91615},
volume = {40},
year = {1999},

AU - Kock, Anders
AU - Reyes, Gonzalo
TI - A note on frame distributions
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1999
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 40
IS - 2
SP - 127
EP - 140
LA - eng
KW - locales; frames; distributions; constructive mathematics
UR - http://eudml.org/doc/91615
ER -


  1. [1] M. Bunge and J. Funk, Constructive Theory of the Lower Power Locale, Math. Struct. in Comp. Science6 (1996), 69-83. Zbl0849.18003MR1386115
  2. [2] M. Bunge and J. Funk, Spreads and the symmetric topos II, Journ. Pure Appl. Alg.130 (1998), 49-84. Appl. Alg. Zbl0924.18001MR1632807
  3. [3] M. Jibladze and P.T. Johnstone, The frame of fibrewise closed nuclei, Cahiers Top. Géom. Diff. Catégoriques32 (1991), 99-112. Zbl0762.06005MR1142684
  4. [4] P.T. Johnstone, Stone Spaces, Cambridge University Press1982 Zbl0499.54001MR698074
  5. [5] P.T. Johnstone, A constructive 'closed subgroup theorem' for localic groups and groupoids, Cahiers Top. Géom. Diff. Catégoriques30 (1989), 3-23. Zbl0668.03028MR1000828
  6. [6] A. Joyal and M. Tierney, An extension of the Galois theory of Grothendieck, Memoirs A.M.S.309 (1984) Zbl0541.18002MR756176
  7. [7] A. Kock and T. Plewe, Glueing analysis for complemented subtoposes, Theory and Appl. of Categories Vol. 2 No. 9 (1996). Zbl0876.18001MR1416753
  8. [8] A. Kock and G.E. Reyes, Relatively Boolean and de Morgan Toposes and Locales, Cahiers Top. Géom. Diff. Catégoriques35 (1994), 249-261. Zbl0806.18002MR1295120
  9. [9] F.W. Lawvere, Measures on Toposes, Lectures given at the Workshop on Category Theoretic Methods in Geometry, Aarhus University1983 (unpublished). 
  10. [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 Gruyter1992. Zbl0846.18001MR1214608
  11. [11] D.S. Macnab, Modal operators on Heyting algebras, Algebra Universalis12 (1981), 5.29. Zbl0459.06005MR608645

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.