A note on frame distributions
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1999)
- Volume: 40, Issue: 2, page 127-140
- ISSN: 1245-530X
Access Full Article
topHow to cite
topKock, 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>.
@article{Kock1999,
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},
}
TY - JOUR
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 -
References
top- [1] M. Bunge and J. Funk, Constructive Theory of the Lower Power Locale, Math. Struct. in Comp. Science6 (1996), 69-83. Zbl0849.18003MR1386115
- [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] 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] P.T. Johnstone, Stone Spaces, Cambridge University Press1982 Zbl0499.54001MR698074
- [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] A. Joyal and M. Tierney, An extension of the Galois theory of Grothendieck, Memoirs A.M.S.309 (1984) Zbl0541.18002MR756176
- [7] A. Kock and T. Plewe, Glueing analysis for complemented subtoposes, Theory and Appl. of Categories Vol. 2 No. 9 (1996). Zbl0876.18001MR1416753
- [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] F.W. Lawvere, Measures on Toposes, Lectures given at the Workshop on Category Theoretic Methods in Geometry, Aarhus University1983 (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 Gruyter1992. Zbl0846.18001MR1214608
- [11] D.S. Macnab, Modal operators on Heyting algebras, Algebra Universalis12 (1981), 5.29. Zbl0459.06005MR608645
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.