| |
Table des matières de ce fascicule | Article précédent | Article suivant
Kock, Anders; Reyes, Gonzalo
A note on frame distributions. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 40 no. 2 (1999), p. 127-140
Texte intégral djvu | pdf | Analyses MR 1697036 | Zbl 0934.18003
URL stable: http://www.numdam.org/item?id=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
|
|
Copyright Cellule MathDoc 2013 | Crédit | Plan du site
|
