{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T12:08:01Z","timestamp":1745496481039,"version":"3.40.3"},"publisher-location":"Cham","reference-count":55,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030843182"},{"type":"electronic","value":"9783030843199"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-84319-9_6","type":"book-chapter","created":{"date-parts":[[2021,10,16]],"date-time":"2021-10-16T18:25:02Z","timestamp":1634408702000},"page":"173-223","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Notes on Point-Free Topology"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Picado","sequence":"first","affiliation":[]},{"given":"Ale\u0161","family":"Pultr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"key":"6_CR1","first-page":"26","volume":"24","author":"CE Aull","year":"1963","unstructured":"Aull, C.E., Thron, W.J.: Separation axioms between $$T_0$$ and $$T_1$$. Indag. Math. 24, 26\u201337 (1963)","journal-title":"Indag. Math."},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"1601","DOI":"10.2989\/16073606.2019.1646832","volume":"43","author":"D Baboolal","year":"2020","unstructured":"Baboolal, D., Picado, J., Pillay, P., Pultr, A.: Hewitt\u2019s irresolvability and induced sublocales in spatial frames. Quaest. Math. 43, 1601\u20131612 (2020)","journal-title":"Quaest. Math."},{"key":"6_CR3","unstructured":"Banaschewski, B.: Untersuchen uber Filterr\u00e4ume. Doctoral dissertation, Universit\u00e4t Hamburg (1953)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"385","DOI":"10.4153\/CJM-1980-030-3","volume":"32","author":"B Banaschewski","year":"1980","unstructured":"Banaschewski, B.: The duality of distributive continuous lattices. Can. J. Math. 32, 385\u2013394 (1980)","journal-title":"Can. J. Math."},{"key":"6_CR5","first-page":"647","volume":"29","author":"B Banaschewski","year":"1988","unstructured":"Banaschewski, B.: Another look at the localic Tychonoff theorem. Comment. Math. Univ. Carolinae 29, 647\u2013656 (1988)","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"6_CR6","unstructured":"Banaschewski, B.: The Real Numbers in Pointfree Topology. Textos de Matem\u00e1tica, vol. 12, University of Coimbra (1997)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1080\/16073606.1998.9632023","volume":"21","author":"B Banaschewski","year":"1998","unstructured":"Banaschewski, B., Hong, H.S., Pultr, A.: On the completion of nearness frames. Quaest. Math. 21, 19\u201337 (1998)","journal-title":"Quaest. Math."},{"key":"6_CR8","first-page":"301","volume":"6","author":"B Banaschewski","year":"1980","unstructured":"Banaschewski, B., Mulvey, C.J.: Stone-\u010cech compactification of locales I. Houston J. Math. 6, 301\u2013312 (1980)","journal-title":"Houston J. Math."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0022-4049(84)90001-X","volume":"33","author":"B Banaschewski","year":"1984","unstructured":"Banaschewski, B., Mulvey, C.J.: Stone-\u010cech compactification of locales II. J. Pure Appl. Algebra 33, 107\u2013122 (1984)","journal-title":"J. Pure Appl. Algebra"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF00880042","volume":"1","author":"B Banaschewski","year":"1993","unstructured":"Banaschewski, B., Pultr, A.: Paracompactness revisited. Appl. Categ. Struct. 1, 181\u2013190 (1993)","journal-title":"Appl. Categ. Struct."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1080\/16073606.1996.9631828","volume":"19","author":"B Banaschewski","year":"1996","unstructured":"Banaschewski, B., Pultr, A.: Cauchy points of uniform and nearness frames. Quaest. Math. 19, 101\u2013127 (1996)","journal-title":"Quaest. Math."},{"key":"6_CR12","first-page":"257","volume":"43","author":"B Banaschewski","year":"2003","unstructured":"Banaschewski, B., Pultr, A.: A constructive view of complete regularity. Kyungpook Math. J. 43, 257\u2013262 (2003)","journal-title":"Kyungpook Math. J."},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/s00012-004-1854-4","volume":"51","author":"B Banaschewski","year":"2004","unstructured":"Banaschewski, B., Pultr, A.: On weak lattice and frame homomorphisms. Algebra Univers. 51, 137\u2013151 (2004)","journal-title":"Algebra Univers."},{"key":"6_CR14","unstructured":"B\u00e9nabou, J.: Treillis locaux et paratopologies. S\u00e9minaire Ehresmann, 1re ann\u00e9e, expos\u00e9 2, Paris (1958)"},{"key":"6_CR15","unstructured":"Clementino, M.M.: Separa\u00e7\u00e3o e Compacidade em Categorias. Doctoral dissertation, University of Coimbra (1992)"},{"key":"6_CR16","first-page":"59","volume":"60","author":"C Ehresmann","year":"1957","unstructured":"Ehresmann, C.: Gattungen von lokalen strukturen. Jber. Deutsch. Math. Verein 60, 59\u201377 (1957)","journal-title":"Jber. Deutsch. Math. Verein"},{"key":"6_CR17","first-page":"69","volume":"34","author":"M Ern\u00e9","year":"2008","unstructured":"Ern\u00e9, M.: Distributors and Wallman locales. Houston J. Math. 34, 69\u201398 (2008)","journal-title":"Houston J. Math."},{"key":"6_CR18","unstructured":"Ern\u00e9, M., Picado, J., Pultr, A.: Adjoint maps between implicative semilattices and continuity of localic maps. Algebra Universalis (to appear)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.topol.2018.06.007","volume":"245","author":"MJ Ferreira","year":"2018","unstructured":"Ferreira, M.J., Picado, J., Pinto, S.: Remainders in pointfree topology. Topology Appl. 245, 21\u201345 (2018)","journal-title":"Topology Appl."},{"key":"6_CR20","first-page":"183","volume":"15","author":"V Glivenko","year":"1929","unstructured":"Glivenko, V.: Sur quelque points de la logique de M. Brouwer. Bull. Acad. R. Belg. Cl. Sci. 15, 183\u2013188 (1929)","journal-title":"Bull. Acad. R. Belg. Cl. Sci."},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"976","DOI":"10.1016\/j.jpaa.2015.08.004","volume":"220","author":"J Guti\u00e9rrez Garc\u00eda","year":"2016","unstructured":"Guti\u00e9rrez Garc\u00eda, J., Mozo Carollo, I., Picado, J.: Presenting the frame of the unit circle. J. Pure Appl. Algebra 220, 976\u20131001 (2016)","journal-title":"J. Pure Appl. Algebra"},{"key":"6_CR22","unstructured":"Guti\u00e9rrez Garc\u00eda, J., Picado, J., Pultr, A.: Notes on point-free real functions and sublocales. In: Clementino, M.M., Janelidze, G., Picado, J., Sousa, L., Tholen, W. (eds.) Categorical Methods in Algebra and Topology, vol. 46, pp. 167\u2013200. Textos de Matem\u00e1tica, DMUC (2014)"},{"key":"6_CR23","unstructured":"Hausdorff, F.: Grundz\u00fcge der mengenlehre. Veit & Co., Leipzig (1914)"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1090\/S0002-9947-1978-0515540-7","volume":"246","author":"KH Hofmann","year":"1978","unstructured":"Hofmann, K.H., Lawson, J.D.: The spectral theory of distributive continuous lattices. Trans. Am. Math. Soc. 246, 285\u2013310 (1978)","journal-title":"Trans. Am. Math. Soc."},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"5","DOI":"10.7146\/math.scand.a-11409","volume":"31","author":"JR Isbell","year":"1972","unstructured":"Isbell, J.R.: Atomless parts of spaces. Math. Scand. 31, 5\u201332 (1972)","journal-title":"Math. Scand."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Isbell, J.R., K\u0159\u00ed\u017e, I., Pultr, A., Rosick\u00fd, J.: Remarks on localic groups. In: Borceux, F. (ed.) Categorical Algebra and Its Applications (Proceedings of the International Conference on Louvain-La-Neuve 1987). Lecture Notes in Mathematics, vol. 1348, pp. 154\u2013172. Springer, Berlin (1988)","DOI":"10.1007\/BFb0081357"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"21","DOI":"10.4064\/fm-113-1-21-35","volume":"113","author":"PT Johnstone","year":"1981","unstructured":"Johnstone, P.T.: Tychonoff\u2019s theorem without the axiom of choice. Fund. Math. 113, 21\u201335 (1981)","journal-title":"Fund. Math."},{"key":"6_CR28","series-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1982)"},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1090\/S0273-0979-1983-15080-2","volume":"8","author":"PT Johnstone","year":"1983","unstructured":"Johnstone, P.T.: The point of pointless topology. Bull. Am. Math. Soc. (N.S.) 8, 41\u201353 (1983)","journal-title":"Bull. Am. Math. Soc. (N.S.)"},{"key":"6_CR30","first-page":"201","volume":"10","author":"PT Johnstone","year":"1984","unstructured":"Johnstone, P.T.: Wallman compactification of locales. Houston J. Math. 10, 201\u2013206 (1984)","journal-title":"Houston J. Math."},{"key":"6_CR31","first-page":"157","volume":"29","author":"PT Johnstone","year":"1988","unstructured":"Johnstone, P.T.: A simple proof that localic groups are closed. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 29, 157\u2013161 (1988)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"6_CR32","first-page":"3","volume":"30","author":"PT Johnstone","year":"1989","unstructured":"Johnstone, P.T.: A constructive \u201cclosed subgroup theorem\u2019\u2019 for localic groups and groupoids. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 30, 3\u201323 (1989)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"6_CR33","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1007\/978-94-017-0470-0_2","volume-title":"Handbook of the History of General Topology","author":"PT Johnstone","year":"2001","unstructured":"Johnstone, P.T.: Elements of the history of locale theory. In: Lowen, R., Aull, C.E. (eds.) Handbook of the History of General Topology, vol. 3, pp. 835\u2013851. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"6_CR34","unstructured":"Joyal, A.: Nouveaux fondaments de l\u2019analyse. Lectures Montr\u00e9al 1973 and 1974 (unpublished)"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Joyal, A., Tierney, M.: An Extension of the Galois Theory of Grothendieck, vol. 309. AMS: Memoirs of the American Mathematical Society, Providence (1984)","DOI":"10.1090\/memo\/0309"},{"key":"6_CR36","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s00012-013-0260-1","volume":"71","author":"O Klinke","year":"2014","unstructured":"Klinke, O.: A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure. Algebra Univers. 71, 55\u201364 (2014)","journal-title":"Algebra Univers."},{"key":"6_CR37","first-page":"619","volume":"26","author":"I K\u0159\u00ed\u017e","year":"1985","unstructured":"K\u0159\u00ed\u017e, I.: A constructive proof of the Tychonoff\u2019s theorem for locales. Comment. Math. Univ. Carolinae 26, 619\u2013630 (1985)","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"6_CR38","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF02483860","volume":"12","author":"DS Macnab","year":"1981","unstructured":"Macnab, D.S.: Modal operators on Heyting algebras. Algebra Univers. 12, 5\u201329 (1981)","journal-title":"Algebra Univers."},{"key":"6_CR39","doi-asserted-by":"crossref","unstructured":"Madden, J.J., Vermeer, J.: Lindel\u00f6f locales and realcompactness. In: Mathematical Proceedings of the Cambridge Philosophical Society, vol. 99, pp. 473\u2013480 (1986)","DOI":"10.1017\/S0305004100064410"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Manes, E.G.: Algebraic Theories. Graduate Texts in Mathematics, vol. 26. Springer, Heidelberg (1976)","DOI":"10.1007\/978-1-4612-9860-1"},{"key":"6_CR41","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0166-8641(87)90046-0","volume":"26","author":"SB Niefield","year":"1987","unstructured":"Niefield, S.B., Rosenthal, K.I.: Spatial sublocales and essential primes. Topology Appl. 26, 263\u2013269 (1987)","journal-title":"Topology Appl."},{"key":"6_CR42","unstructured":"Papert, D., Papert, S.: Sur les treillis des ouverts et paratopologies. S\u00e9minaire Ehresmann (1re ann\u00e9e, expos\u00e9 1), Paris (1958)"},{"key":"6_CR43","unstructured":"Picado, J., Pultr, A.: Locales Treated Mostly in a Covariant Way. Textos de Matem\u00e1tica, vol. 41. University of Coimbra (2008)"},{"key":"6_CR44","doi-asserted-by":"crossref","unstructured":"Picado, J., Pultr, A.: Frames and Locales: Topology Without Points. Frontiers in Mathematics, vol. 28. Springer, Basel (2012)","DOI":"10.1007\/978-3-0348-0154-6"},{"key":"6_CR45","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1515\/ms-2015-0020","volume":"65","author":"J Picado","year":"2015","unstructured":"Picado, J., Pultr, A.: Notes on the product of locales. Math. Slovaca 65, 247\u2013264 (2015)","journal-title":"Math. Slovaca"},{"key":"6_CR46","first-page":"541","volume":"60","author":"J Picado","year":"2019","unstructured":"Picado, J., Pultr, A.: Axiom $$T_D$$ and the Simmons sublocale theorem. Comment. Math. Univ. Carolinae 60, 541\u2013551 (2019)","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"6_CR47","doi-asserted-by":"crossref","unstructured":"Picado, J., Pultr, A.: Separation in Point-Free Topology. Birkh\u00e4user\/Springer, Cham (2021)","DOI":"10.1007\/978-3-030-53479-0"},{"key":"6_CR48","first-page":"91","volume":"25","author":"A Pultr","year":"1984","unstructured":"Pultr, A.: Pointless uniformities I. Complete regularity. Comment. Math. Univ. Carolinae 25, 91\u2013104 (1984)","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"6_CR49","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00878507","volume":"2","author":"A Pultr","year":"1994","unstructured":"Pultr, A., Tozzi, A.: Separation axioms and frame representation of some topological facts. Appl. Categ. Struct. 2, 107\u2013118 (1994)","journal-title":"Appl. Categ. Struct."},{"key":"6_CR50","first-page":"377","volume":"30","author":"A Pultr","year":"1989","unstructured":"Pultr, A., \u00dalehla, J.: Notes on characterization of paracompact frames. Comment. Math. Univ. Carolinae 30, 377\u2013384 (1989)","journal-title":"Comment. Math. Univ. Carolinae"},{"key":"6_CR51","doi-asserted-by":"publisher","first-page":"23","DOI":"10.4064\/cm-43-1-23-39","volume":"43","author":"H Simmons","year":"1980","unstructured":"Simmons, H.: Spaces with Boolean assemblies. Colloq. Math. 43, 23\u201329 (1980)","journal-title":"Colloq. Math."},{"key":"6_CR52","doi-asserted-by":"publisher","first-page":"1642","DOI":"10.1016\/j.apal.2011.12.014","volume":"163","author":"A Simpson","year":"2012","unstructured":"Simpson, A.: Measure, randomness and sublocales. Ann. Pure Appl. Log. 163, 1642\u20131659 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"6_CR53","first-page":"37","volume":"40","author":"MH Stone","year":"1936","unstructured":"Stone, M.H.: The theory of representations for Boolean algebras. Trans. Am. Mat. Soc. 40, 37\u2013111 (1936)","journal-title":"Trans. Am. Mat. Soc."},{"key":"6_CR54","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1215\/S0012-7094-62-02968-X","volume":"29","author":"WJ Thron","year":"1962","unstructured":"Thron, W.J.: Lattice-equivalence of topological spaces. Duke Math. J. 29, 671\u2013679 (1962)","journal-title":"Duke Math. J."},{"key":"6_CR55","doi-asserted-by":"publisher","first-page":"112","DOI":"10.2307\/1968717","volume":"39","author":"H Wallman","year":"1938","unstructured":"Wallman, H.: Lattices and topological spaces. Ann. Math. 39, 112\u2013126 (1938)","journal-title":"Ann. Math."}],"container-title":["New Perspectives in Algebra, Topology and Categories"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-84319-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,16]],"date-time":"2021-10-16T18:39:39Z","timestamp":1634409579000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-84319-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030843182","9783030843199"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-84319-9_6","relation":{},"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}