The point of pointless topology

Johnstone, Peter T.

doi:10.1090/S0273-0979-1983-15080-2

The point of pointless topology
HTML articles powered by AMS MathViewer

by Peter T. Johnstone PDF

Bull. Amer. Math. Soc. 8 (1983), 41-53

References

B. Banaschewski, The duality of distributive continuous lattices, Canadian J. Math. 32 (1980), no. 2, 385–394. MR 571932, DOI 10.4153/CJM-1980-030-3
B. Banaschewski, Extension of invariant linear functionals: Hahn-Banach in the topos of $M$-sets, J. Pure Appl. Algebra 17 (1980), no. 3, 227–248. MR 579085, DOI 10.1016/0022-4049(80)90047-X
B. Banaschewski and C. J. Mulvey, Stone-Čech compactification of locales. I, Houston J. Math. 6 (1980), no. 3, 301–312. MR 597771
Jean Bénabou, Treillis locaux et paratopologies, Séminaire C. Ehresmann, 1957/58, Faculté des Sciences de Paris, 1959, pp. exp. no. 2, 27 (French). MR 0121774
C. H. Dowker and Dona Papert, Quotient frames and subspaces, Proc. London Math. Soc. (3) 16 (1966), 275–296. MR 202648, DOI 10.1112/plms/s3-16.1.275
C. H. Dowker and Dona Papert, On Urysohn’s lemma, General Topology and its Relations to Modern Analysis and Algebra, II (Proc. Second Prague Topological Sympos., 1966) Academia, Prague, 1967, pp. 111–114. MR 0238744
C. H. Dowker and Dona Papert Strauss, Separation axioms for frames, Topics in topology (Proc. Colloq., Keszthely, 1972) Colloq. Math. Soc. János Bolyai, Vol. 8, North-Holland, Amsterdam, 1974, pp. 223–240. MR 0394559
C. H. Dowker and Dona Papert Strauss, Paracompact frames and closed maps, Symposia Mathematica, Vol. XVI (Convegno sulla Topologia Insiemistica e Generale, INDAM, Rome, 1973) Academic Press, London, 1975, pp. 93–116. MR 0410663
C. H. Dowker and D. Strauss, Sums in the category of frames, Houston J. Math. 3 (1977), no. 1, 17–32. MR 442900
Roy Dyckhoff, Factorisation theorems and projective spaces in topology, Math. Z. 127 (1972), 256–264. MR 312452, DOI 10.1007/BF01114928
Roy Dyckhoff, Categorical methods in dimension theory, Categorical topology (Proc. Conf., Mannheim, 1975) Lecture Notes in Math., Vol. 540, Springer, Berlin, 1976, pp. 220–242. MR 0448318
Charles Ehresmann, Gattungen von lokalen Strukturen, Jber. Deutsch. Math.-Verein. 60 (1957), no. Abt. 1, 49–77 (German). MR 95894
Charles Ehresmann, Catégories topologiques et catégories différentiables, Colloque Géom. Diff. Globale (Bruxelles, 1958) Centre Belge Rech. Math., Louvain, 1959, pp. 137–150 (French). MR 0116360
M. P. Fourman and J. M. E. Hyland, Sheaf models for analysis, Applications of sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Univ. Durham, Durham, 1977) Lecture Notes in Math., vol. 753, Springer, Berlin, 1979, pp. 280–301. MR 555550
Ralph H. Fox, Covering spaces with singularities, A symposium in honor of S. Lefschetz, Princeton University Press, Princeton, N.J., 1957, pp. 243–257. MR 0123298
Andrew M. Gleason, Projective topological spaces, Illinois J. Math. 2 (1958), 482–489. MR 121775
R. J. Grayson, Concepts of general topology in constructive mathematics and in sheaves. II, Ann. Math. Logic 23 (1982), no. 1, 55–98. MR 674673, DOI 10.1016/0003-4843(82)90010-9
J. D. Halpern, The independence of the axiom of choice from the Boolean prime ideal theorem, Fund. Math. 55 (1964), 57–66. MR 164891, DOI 10.4064/fm-55-1-57-66
Felix Hausdorff, Grundzüge der Mengenlehre, Chelsea Publishing Co., New York, N. Y., 1949 (German). MR 0031025
M. Hochster, Prime ideal structure in commutative rings, Trans. Amer. Math. Soc. 142 (1969), 43–60. MR 251026, DOI 10.1090/S0002-9947-1969-0251026-X
Karl H. Hofmann and Jimmie D. Lawson, The spectral theory of distributive continuous lattices, Trans. Amer. Math. Soc. 246 (1978), 285–310. MR 515540, DOI 10.1090/S0002-9947-1978-0515540-7
John R. Isbell, Atomless parts of spaces, Math. Scand. 31 (1972), 5–32. MR 358725, DOI 10.7146/math.scand.a-11409
John Isbell, Product spaces in locales, Proc. Amer. Math. Soc. 81 (1981), no. 1, 116–118. MR 589150, DOI 10.1090/S0002-9939-1981-0589150-5
I. M. James, Ex-homotopy theory. I, Illinois J. Math. 15 (1971), 324–337. MR 296945, DOI 10.1215/ijm/1256052718
I. M. James, Alternative homotopy theories, Enseign. Math. (2) 23 (1977), no. 3-4, 221–237. MR 482752
P. T. Johnstone, Topos theory, London Mathematical Society Monographs, Vol. 10, Academic Press [Harcourt Brace Jovanovich, Publishers], London-New York, 1977. MR 0470019
Peter T. Johnstone, Open maps of toposes, Manuscripta Math. 31 (1980), no. 1-3, 217–247. MR 576498, DOI 10.1007/BF01303275
P. T. Johnstone, The Gleason cover of a topos. I, J. Pure Appl. Algebra 19 (1980), 171–192. MR 593253, DOI 10.1016/0022-4049(80)90100-0
P. T. Johnstone, The Gleason cover of a topos. II, J. Pure Appl. Algebra 22 (1981), no. 3, 229–247. MR 629332, DOI 10.1016/0022-4049(81)90100-6
P. T. Johnstone, Tychonoff’s theorem without the axiom of choice, Fund. Math. 113 (1981), no. 1, 21–35. MR 641111, DOI 10.4064/fm-113-1-21-35
Peter T. Johnstone, Factorization theorems for geometric morphisms. II, Categorical aspects of topology and analysis (Ottawa, Ont., 1980) Lecture Notes in Math., vol. 915, Springer, Berlin-New York, 1982, pp. 216–233. MR 659894
Peter T. Johnstone, Stone spaces, Cambridge Studies in Advanced Mathematics, vol. 3, Cambridge University Press, Cambridge, 1982. MR 698074
André Joyal and Myles Tierney, An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc. 51 (1984), no. 309, vii+71. MR 756176, DOI 10.1090/memo/0309
Willem Kuyk, Complementarity in mathematics, Mathematics and its Applications, Vol. 1, D. Reidel Publishing Co., Dordrecht-Boston, Mass., 1977. A first introduction to the foundations of mathematics and its history. MR 0465765, DOI 10.1007/978-94-015-7624-6
F. William Lawvere, Continuously variable sets; algebraic geometry=geometric logic, Logic Colloquium ’73 (Bristol, 1973) Studies in Logic and the Foundations of Math., Vol. 80, North-Holland, Amsterdam, 1975, pp. 135–156. MR 0392567
Jean Leray, L’anneau spectral et l’anneau filtré d’homologie d’un espace localement compact et d’une application continue, J. Math. Pures Appl. (9) 29 (1950), 1–80, 81–139 (French). MR 37505
F. E. J. Linton, Some aspects of equational categories, Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 84–94. MR 0209335
J. Łoś and C. Ryll-Nardzewski, On the application of Tychonoff’s theorem in mathematical proofs, Fund. Math. 38 (1951), 233–237. MR 48795, DOI 10.4064/fm-38-1-233-237
Reports of the Midwest Category Seminar. IV, Lecture Notes in Mathematics, Vol. 137, Springer-Verlag, Berlin-New York, 1970. Edited by S. MacLane. MR 0263888
Saunders MacLane, Sets, topoi, and internal logic in categories, Logic Colloquium ’73 (Bristol, 1973) Studies in Logic and the Foundations of Mathematics, Vol. 80, North-Holland, Amsterdam, 1975, pp. 119–134. MR 0384545
J. C. C. McKinsey and Alfred Tarski, The algebra of topology, Ann. of Math. (2) 45 (1944), 141–191. MR 9842, DOI 10.2307/1969080
J. C. C. McKinsey and Alfred Tarski, On closed elements in closure algebras, Ann. of Math. (2) 47 (1946), 122–162. MR 15037, DOI 10.2307/1969038
S. B. Niefield, Exactness and projectivity, Category theory (Gummersbach, 1981) Lecture Notes in Math., vol. 962, Springer, Berlin-New York, 1982, pp. 221–227. MR 682960
Georg Nöbeling, Grundlagen der analytischen Topologie, Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band LXXII, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1954 (German). MR 0068197, DOI 10.1007/978-3-642-52806-4
H. Simmons, A couple of triples, Topology Appl. 13 (1982), no. 2, 201–223. MR 644114, DOI 10.1016/0166-8641(82)90021-9
M. H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40 (1936), no. 1, 37–111. MR 1501865, DOI 10.1090/S0002-9947-1936-1501865-8
Leopold Vietoris, Bereiche zweiter Ordnung, Monatsh. Math. Phys. 32 (1922), no. 1, 258–280 (German). MR 1549179, DOI 10.1007/BF01696886
Henry Wallman, Lattices and topological spaces, Ann. of Math. (2) 39 (1938), no. 1, 112–126. MR 1503392, DOI 10.2307/1968717
Stephen Willard, General topology, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1970. MR 0264581
Gavin C. Wraith, Galois theory in a topos, J. Pure Appl. Algebra 19 (1980), 401–410. MR 593261, DOI 10.1016/0022-4049(80)90108-5
Gavin C. Wraith, Localic groups, Cahiers Topologie Géom. Différentielle 22 (1981), no. 1, 61–66. Third Colloquium on Categories (Amiens, 1980), Part II. MR 609160
A. Zarelua, Sheaf theory and zero-dimensional mappings, Applications of sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Univ. Durham, Durham, 1977) Lecture Notes in Math., vol. 753, Springer, Berlin, 1979, pp. 768–779. MR 555572