Frames and locales: topology without points
(eBook)
Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited since the 1920s offered an expression of the geometric intuition of a "realistic" place (spot, grain) of non-trivial extent. Imitating the behaviour of open sets and their relations led to a new approach to topology flourishing since the end of the 1950s. It has proved to be beneficial in many respects. Neglecting points, only little information was lost, while deeper insights have been gained; moreover, many results previously dependent on choice principles became constructive. The result is often a smoother, rather than a more entangled, theory. No monograph of this nature has appeared since Johnstone's celebrated Stone Spaces in 1983. The present book is intended as a bridge from that time to the present. Most of the material appears here in book form for the first time or is presented from new points of view. Two appendices provide an introduction to some requisite concepts from order and category theories
Picado, J., & Pultr, A. (2012). Frames and locales: topology without points. Basel, Birkhäuser.
Chicago / Turabian - Author Date Citation (style guide)Picado, Jorge, 1963- and Aleš. Pultr. 2012. Frames and Locales: Topology Without Points. Basel, Birkhäuser.
Chicago / Turabian - Humanities Citation (style guide)Picado, Jorge, 1963- and Aleš. Pultr, Frames and Locales: Topology Without Points. Basel, Birkhäuser, 2012.
MLA Citation (style guide)Picado, Jorge and Aleš Pultr. Frames and Locales: Topology Without Points. Basel, Birkhäuser, 2012.
Notes
Record Information
Last Sierra Extract Time | Apr 05, 2024 08:52:04 AM |
---|---|
Last File Modification Time | Apr 05, 2024 08:59:05 AM |
Last Grouped Work Modification Time | Apr 05, 2024 08:52:37 AM |
MARC Record
LEADER | 10814cam a2201009 a 4500 | ||
---|---|---|---|
001 | 759858087 | ||
003 | OCoLC | ||
005 | 20240329122006.0 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 111107t20122012sz a ob 001 0 eng d | ||
010 | |a 2011941088 | ||
019 | |a 1005797999|a 1018379923|a 1026432362|a 1058093644|a 1087441164|a 1132916368|a 1162643277|a 1204034337 | ||
020 | |a 9783034801546|q (electronic bk.) | ||
020 | |a 3034801548|q (electronic bk.) | ||
020 | |a 303480153X|q (pbk.) | ||
020 | |a 9783034801539|q (pbk.) | ||
020 | |z 9783034801539 | ||
024 | 7 | |a 10.1007/978-3-0348-0154-6|2 doi | |
035 | |a (OCoLC)759858087|z (OCoLC)1005797999|z (OCoLC)1018379923|z (OCoLC)1026432362|z (OCoLC)1058093644|z (OCoLC)1087441164|z (OCoLC)1132916368|z (OCoLC)1162643277|z (OCoLC)1204034337 | ||
037 | |a 335556|b MIL | ||
040 | |a GW5XE|b eng|e pn|c GW5XE|d COO|d VPI|d EBLCP|d OCLCQ|d OSU|d E7B|d OCLCF|d DEBSZ|d TPH|d OCLCQ|d YDXCP|d OCLCQ|d Z5A|d ESU|d VT2|d MERUC|d N$T|d REB|d OCLCO|d MERER|d OCLCO|d IOG|d CEF|d OCLCQ|d OCLCO|d INT|d U3W|d AU@|d OCLCO|d OCLCQ|d WYU|d OCLCA|d YOU|d OCLCQ|d LEAUB|d OL$|d OCLCQ|d WURST|d OCLCQ|d AJS|d OCLCQ|d OCLCO|d LUU|d OCL|d OCLCQ|d OCLCO|d OCLCL|d OCLCQ|d OH#|d DCT | ||
049 | |a COM6 | ||
050 | 4 | |a QA611|b .P53 2012eb | |
060 | 4 | |a Online Book | |
066 | |c (S | ||
072 | 7 | |a MAT|x 038000|2 bisacsh | |
072 | 7 | |a PBP|2 bicssc | |
082 | 0 | 4 | |a 514|2 23 |
100 | 1 | |a Picado, Jorge,|d 1963-|1 https://id.oclc.org/worldcat/entity/E39PCjxPGktGrjB4D7b7DWTJXd | |
245 | 1 | 0 | |a Frames and locales :|b topology without points /|c Jorge Picado, Aleš Pultr. |
264 | 1 | |a Basel :|b Birkhäuser,|c [2012]. | |
264 | 4 | |c ©2012. | |
300 | |a 1 online resource (xix, 398 pages) :|b illustrations | ||
336 | |a text|b txt|2 rdacontent | ||
337 | |a computer|b c|2 rdamedia | ||
338 | |a online resource|b cr|2 rdacarrier | ||
347 | |b PDF | ||
347 | |a text file | ||
490 | 1 | |a Frontiers in mathematics,|x 1660-8046 | |
504 | |a Includes bibliographical references (pages 367-380) and index. | ||
505 | 0 | |6 880-01|a I. Spaces and lattices of open sets -- II. Frames and locales, spectra -- III. Sublocals -- IV. Structure of localic morphisms. The categories loc and frm -- V. Separation axioms -- VI. More on sublocales -- VII. Compactness and local compactness -- VIII. (Symmetric) uniformity and nearness -- IX. Paracompactness -- X. More about completion -- XI. Metric frames -- XII. Entourages, asymmetric uniformity -- XIII. Connectedness -- XIV. The frame of reals and real functions -- XV. Localic groups -- Appendices I. Posets -- Appendix II. Categories. | |
520 | |a Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited since the 1920s offered an expression of the geometric intuition of a "realistic" place (spot, grain) of non-trivial extent. Imitating the behaviour of open sets and their relations led to a new approach to topology flourishing since the end of the 1950s. It has proved to be beneficial in many respects. Neglecting points, only little information was lost, while deeper insights have been gained; moreover, many results previously dependent on choice principles became constructive. The result is often a smoother, rather than a more entangled, theory. No monograph of this nature has appeared since Johnstone's celebrated Stone Spaces in 1983. The present book is intended as a bridge from that time to the present. Most of the material appears here in book form for the first time or is presented from new points of view. Two appendices provide an introduction to some requisite concepts from order and category theories | ||
546 | |a English. | ||
650 | 0 | |a Topology. | |
650 | 0 | |a Mathematics. | |
650 | 1 | 2 | |a Mathematics |
650 | 6 | |a Topologie. | |
650 | 6 | |a Mathématiques. | |
650 | 7 | |a MATHEMATICS|x Topology.|2 bisacsh | |
650 | 7 | |a Mathematics|2 fast | |
650 | 7 | |a Topology|2 fast | |
653 | |a Topology | ||
653 | 0 | 0 | |a topologie |
653 | 0 | 0 | |a wiskunde |
653 | 0 | 0 | |a mathematics |
653 | 1 | 0 | |a Mathematics (General) |
653 | 1 | 0 | |a Wiskunde (algemeen) |
700 | 1 | |a Pultr, Aleš. | |
710 | 2 | |a SpringerLink (Online Service) | |
773 | 0 | |t Springer eBooks | |
776 | 0 | 8 | |i Print version:|a Picado, Jorge, 1963-|t Frames and locales.|d Basel : Birkhäuser, ©2012|w (DLC) 2011941088 |
830 | 0 | |a Frontiers in mathematics. | |
880 | 0 | 0 | |6 505-01/(S|g Machine generated contents note:|g I.|t Spaces and Lattices of Open Sets --|g 1.|t Sober spaces --|g 2.|t axiom TD: another case of spaces easy to reconstruct --|g 3.|t Summing up --|g 4.|t Aside: several technical properties of TD-spaces --|g II.|t Frames and Locales. Spectra --|g 1.|t Frames --|g 2.|t Locales and localic maps --|g 3.|t Points --|g 4.|t Spectra --|g 5.|t unit σ and spatiality --|g 6.|t unit λ and sobriety --|g III.|t Sublocales --|g 1.|t Extremal monomorphisms in Loc --|g 2.|t Sublocales --|g 3.|t co-frame of sublocales --|g 4.|t Images and preimages --|g 5.|t Alternative representations of sublocales --|g 6.|t Open and closed sublocales --|g 7.|t Open and closed localic maps --|g 8.|t Closure --|g 9.|t Preimage as a homomorphism --|g 10.|t Other special sublocales: one-point sublocales, and Boolean ones --|g 11.|t Sublocales as quotients. Factorizing frames is surprisingly easy --|g IV.|t Structure of Localic Morphisms. The Categories Loc and Frm --|g 1.|t Special morphisms. Factorizing in Loc and Frm --|g 2.|t down-set functor and free constructions --|g 3.|t Limits and a colimit in Frm --|g 4.|t Coproducts of frames --|g 5.|t More on the structure of coproduct --|g 6.|t Epimorphisms in Frm --|g V.|t Separation Axioms --|g 1.|t Instead of T1: subfit and fit --|g 2.|t Mimicking the Hausdorff axiom --|g 3.|t I-Hausdorff frames and regular monomorphisms --|g 4.|t Aside: Raney identity --|g 5.|t Quite like the classical case: Regular, completely regular and normal --|g 6.|t categories RegLoc, CRegLoc, HausLoc and FitLoc --|g VI.|t More on Sublocales --|g 1.|t Subspaces and sublocales of spaces --|g 2.|t Spatial and induced sublocales --|g 3.|t Complemented sublocales of spaces are spatial --|g 4.|t zero-dimensionality of Sl(L)op and a few consequences --|g 5.|t Difference and pseudodifference, residua --|g 6.|t Isbell's Development Theorem --|g 7.|t Locales with no non-spatial sublocales --|g 8.|t Spaces with no non-induced sublocales --|g VII.|t Compactness and Local Compactness --|g 1.|t Basics, and a technical lemma --|g 2.|t Compactness and separation --|g 3.|t Kuratowski-Mrowka characterization --|g 4.|t Compactification --|g 5.|t Well below and rather below. Continuous completely regular frames --|g 6.|t Continuous is the same as locally compact. Hofmann-Lawson duality --|g 7.|t One more spatiality theorem --|g 8.|t Supercompactness. Algebraic, superalgebraic and supercontinuous frames --|g VIII.|t (Symmetric) Uniformity and Nearness --|g 1.|t Background --|g 2.|t Uniformity and nearness in the point-free context --|g 3.|t Uniform homomorphisms. Modelling embeddings. Products --|g 4.|t Aside: admitting nearness in a weaker sense --|g 5.|t Compact uniform and nearness frames. Finite covers --|g 6.|t Completeness and completion --|g 7.|t Functoriality. CUniFrm is coreflective in UniFrm --|g 8.|t easy completeness criterion --|g IX.|t Paracompactness --|g 1.|t Full normality --|g 2.|t Paracompactness, and its various guises --|g 3.|t elegant, specifically point-free, characterization of paracompactness --|g 4.|t pleasant surprise: paracompact (co)reflection --|g X.|t More about Completion --|g 1.|t variant of the completion of uniform frames --|g 2.|t Two applications --|g 3.|t Cauchy points and the resulting space --|g 4.|t Cauchy spectrum --|g 5.|t Cauchy completion. The case of countably generated uniformities --|g 6.|t Generalized Cauchy points --|g XI.|t Metric Frames --|g 1.|t Diameters and metric diameters --|g 2.|t Metric spectrum --|g 3.|t Uniform Metrization Theorem --|g 4.|t Metrization theorems for plain frames --|g 5.|t Categories of metric frames --|g XII.|t Entourages. Asymmetric Uniformity --|g 1.|t Entourages --|g 2.|t Uniformities via entourages --|g 3.|t Entourages versus covers --|g 4.|t Asymmetric uniformity: the classical case --|g 5.|t Biframes --|g 6.|t Quasi-uniforniity in the point-free context via paircovers --|g 7.|t adjunction QUnif [→][↔]QUniFrm --|g 8.|t Quasi-uniformity in the point-free context via entourages --|g XIII.|t Connectedness --|g 1.|t few observations about sublocales --|g 2.|t Connected and disconnected locales --|g 3.|t Locally connected locales --|g 4.|t weird example --|g 5.|t few notes --|g XIV.|t Frame of Reals and Real Functions --|g 1.|t frame £(R) of reals --|g 2.|t Properties of £ (R) --|g 3.|t £(R) versus the usual space of reals --|g 4.|t metric uniformity of £(R) --|g 5.|t Continuous real functions --|g 6.|t Cozero elements --|g 7.|t More general real functions --|g 8.|t Notes --|g XV.|t Localic Groups --|g 1.|t Basics --|g 2.|t category of localic groups --|g 3.|t Closed Subgroup Theorem --|g 4.|t multiplication μ is open. The semigroup of open parts --|g 5.|t Uniformities --|g 6.|t Notes --|g Appendix I|t Posets --|g 1.|t Basics --|g 2.|t Zorn's Lemma --|g 3.|t Suprema and infima --|g 4.|t Semilattices, lattices and complete lattices. Completion --|g 5.|t Galois connections (adjunctions) --|g 6.|t (Semi)lattices as algebras. Distributive lattices --|g 7.|t Pseudocomplements and complements. Heyting and Boolean algebras --|g Appendix II|t Categories --|g 1.|t Categories --|g 2.|t Functors and natural transformations --|g 3.|t Some basic constructions --|g 4.|t More special morphisms. Factorization --|g 5.|t Limits and colimits --|g 6.|t Adjunction --|g 7.|t Adjointness and (co)limits --|g 8.|t Reflective and coreflective subcategories --|g 9.|t Monads --|g 10.|t Algebras in a category. |
907 | |a .b34947656 | ||
948 | |a MARCIVE Comp, in 2022.12 | ||
948 | |a MARCIVE Over, 07/2021 | ||
948 | |a MARCIVE Comp, 2019.12 | ||
948 | |a MARCIVE Comp, 2018.05 | ||
948 | |a MARCIVE August, 2017 | ||
948 | |a MARCIVE extract Aug, 5 2017 | ||
989 | |1 .i71771244|d cceb|g j|m |h 0|x 0|t 0|i 0|j 188|k 120614|o -|w SpringerLink CCU Owned|u http://ezproxy.ccu.edu/login?url=http://dx.doi.org/10.1007/978-3-0348-0154-6 | ||
989 | |1 .i15135005x|d cueme|g -|m |h 0|x 0|t 0|i 0|j 200|k 240404|o -|w SpringerLink|u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-0348-0154-6 | ||
994 | |a 92|b COM | ||
995 | |a Loaded with m2btab.elec in this month | ||
995 | |a Loaded with m2btab.ltiac in 2022.12 | ||
995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
995 | |a Loaded with m2btab.elec in 2021.06 | ||
995 | |a Loaded with m2btab.ltiac in 2019.12 | ||
995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
995 | |a Loaded with m2btab.ltiac in 2017.08 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a Loaded with m2btab.elec in 2016 | ||
995 | |a OCLC offline update by CMU | ||
998 | |e -|f eng|a cue|a cc|a cu | ||
999 | |e z | ||
999 | |a cue |