Frames and Locales

DOI10.1007/978-3-0348-0154-6zbMath1231.06018OpenAlexW2487483580MaRDI QIDQ3002522

Publication date: 20 May 2011

Published in: Frontiers in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-0348-0154-6

zbMATH Keywords

connectedness compactness uniformity frames locales separation axioms paracompactness spatiality pointfree topology nearness localic groups category of locales localic maps real functions on locales

Mathematics Subject Classification ID

Compactness (54D30) Topological spaces and generalizations (closure spaces, etc.) (54A05) Frames, locales (06D22) Nearness spaces (54E17) Real-valued functions in general topology (54C30) Research exposition (monographs, survey articles) pertaining to general topology (54-02) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items

Localic metric spaces and the localic Gelfand duality, Particle-free bodies and point-free spaces, Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality, Exact and strongly exact filters, Raney algebras and duality for $T_0$-spaces, Normal semicontinuity and the Dedekind completion of pointfree function rings, General non-commutative locally compact locally Hausdorff Stone duality, Entourages, density, Cauchy maps, and completion, Dimension and decomposition in modular upper-continuous lattices, The strength of prime separation, sobriety, and compactness theorems, Some connections between frames of radical ideals and frames of $z$-ideals, Representation of real Riesz maps on a strong $f$-ring by prime elements of a frame, Topogenous and nearness structures on categories, Choice-free dualities for domains, New aspects of subfitness in frames and spaces, The Dedekind MacNeille site completion of a meet semilattice, Maximal essential extensions in the context of frames, The convolution algebra, Strictly zero-dimensional biframes and a characterisation of congruence frames, On the hull-kernel and inverse topologies as frames, Realcompact Alexandroff frames, Universal frames, Cozero complemented frames, On the parallel between normality and extremal disconnectedness, On a generalization of pointfree realcompactness, Hereditary $C^\ast$-subalgebra lattices, Enough regular Cauchy filters for asymmetric uniform and nearness structures, Generalized topological representation for complete join-semilattices, Presenting the frame of the unit circle., Proximity biframes and Nachbin spaces, When Boole commutes with Hewitt and Lindelöf, Spectral reflections of topological spaces, Quantales and Fell bundles, Tensor products and relation quantales, Attaching topological spaces to a module. I: sobriety and spatiality, A generalization of quantales with applications to modules and rings., Normality in terms of distances and contractions, Universal regular and completely regular frames., Finite frames, $P$-frames and basically disconnected frames, Hedgehog frames and a cardinal extension of normality, Concerning maximal $\ell$-ideals of rings of continuous integer-valued functions., A note on middle $P$-spaces and related rings, When certain prime ideals in rings of continuous functions are minimal or maximal., The category of finitary biframes as the category of pointfree bispaces, Concerning real-closed ideals in $\mathcal{R} L$ and SV-frames, A semantic hierarchy for intuitionistic logic, Rigid frame maps and Booleanization., Characterizing realcompact locales via remainders, A study of a new dimension for frames, On densely normal locales, Another note on precompact uniform frames, Bitopology and four-valued logic, On quasi-normality of function rings, Answer to some open questions on covering dimension for finite lattices, On Kan-injectivity of locales and spaces, The congruence frame and the Madden quotient for partial frames, Universality on frames, Pointfree pointwise convergence, Baire functions, and epimorphisms in truncated Archimedean $\ell$-groups, Stairway to heaven: the abstract method and levels of abstraction in mathematics, Sobriety and spatiality in categories of lattice-valued algebras, Universality property and dimension for frames, Amenable and locally amenable algebraic frames, Compact Hausdorff spaces with relations and Gleason spaces, Maximal Lindelöf locales, Coverages give free constructions for partial frames, Categorical geometry and integration without points, A categorical duality for semilattices and lattices, More on the functor induced by $z$-ideals, On the maps of pointfree topology which preserve the rings of integervalued continuous functions, Perfectness of 2-star compactifications of frames, Remainders in pointfree topology, Continuous extensions of real functions on arbitrary sublocales and $C$-, $C^\ast$-, and $z$-embeddings, Remarks concerning certain function rings in pointfree topology, The other closure and complete sublocales, Meet-semilattice congruences on a frame, On equalizers in the category of locales, Insertion theorems for countably paracompact frames and stratifiable frames, Mapping ideals to sublocales, Two functors induced by certain ideals of function rings., Morita equivalence of pseudogroups, Pointless proofs of the Menger and Rothberger games, Covering maximal ideals with minimal primes, On joins of complemented sublocales, Some relative normality properties in locales, On the Cantor and Hilbert cube frames and the Alexandroff-Hausdorff theorem, A note on S-metrizable frames, On fraction-dense algebraic frames, On classes of localic maps defined by their behavior on zero sublocales, Some general aspects of exactness and strong exactness of meets, Pulling and pushing certain ideals in function rings, Sequences and related closure and compactness properties in frames, Closed ideals in the uniform topology on the ring of real-valued continuous functions on a frame, Some notes on $z$-ideal and $d$-ideal in $\mathcal{R}L$, Fixed points of covering upper and lower approximation operators, Algebraic semantics of the $\left\{ \rightarrow ,\square \right\} $-fragment of propositional lax logic, On state ideals and state relative annihilators in De Morgan state residuated lattices, The assembly of a pointfree bispace and its two variations, Hofmann-Mislove through the lenses of Priestley, Ideals of functions with compact support in the integer-valued case, A note on spaces that are finitely an $F$-space., Adjoint maps between implicative semilattices and continuity of localic maps, A new diagonal separation and its relations with the Hausdorff property, On the De Morgan's laws for modules, Localic subspaces and colimits of localic spaces, Nuclear ranges in implicative semilattices, A lattice-theoretic view of some special ideals of subrings of commutative rings, On ideals of rings of continuous integer-valued functions on a frame, Uniformities and a quantale structure on localic groups, The Booleanization of a d-frame, Pseudogroups and their torsors, On the Archimedean kernels of function rings in pointfree topology, Characterising points which make $P$-frames., On the Dini and Stone-Weierstrass properties in pointfree topology., Localic transitivity, Observables on $\sigma$-frame effect algebras as upper semicontinuous functions, Covering dimension and universality property on frames, Some notes on connectedness in nearness frames, Sierpinski object for affine systems, Numerable open covers and representability of topological stacks, Diego's theorem for nuclear implicative semilattices, Base and weight of Boolean $\mathrm{I}$-contact algebras, On points of convergence lattices and sobriety for convergence spaces, Coverages on inverse semigroups, $\lambda$-semidirect products of inverse monoids are weakly Schreier extensions, Tree-like constructions in topology and modal logic, Generating sublocales by subsets and relations: a tangle of adjunctions, Gelfand-type duality for commutative von Neumann algebras, Toposes for semigroups: an invitation, Pseudocompleteness in the category of locales, A special class of congruences on $\kappa$-frames, Perfect locales and localic real functions, Paralocalic groups, Morphisms and pushouts in compact normal joinfit frames, Commutative rings in which zero-components of essential primes are essential, Quotients of d-frames, Radical theory of Scott-open filters, On the geometry of physical measurements: topological and algebraic aspects, On infinite variants of De Morgan law in locale theory, On the universal completion of pointfree function spaces, Exact filters and joins of closed sublocales, B-frame duality, A general insertion theorem for uniform locales, Universal elements in classes of bases of frames, A note on weakly pseudocompact locales, Tameness in generalized metric structures, Duality for noncommutative frames, On ideals of rings of continuous functions associated with sublocales, The $P_0$-reflection of 0-dimensional frames, Nearly realcompact frames., A preservation result for completely regular locales., Monotone normality and stratifiability from a pointfree point of view, (Sub)fit biframes and non-symmetric nearness., A pseudocompact completely regular frame which is not spatial., Characterising certain compactifications of frames with special attention to Freudenthal, Some operators and dimensions in modular meet-continuous lattices, Conjunctive join-semilattices, On regularity and injectivity of the ring of real-continuous functions on a topoframe, $\ell$-ring aspects of compactification in pointfree topology, Notes on exact meets and joins., Isocompactness in the category of locales., A method for constructing coreflections for nearness frames., Some new characterizations of finite frames and $F$-frames, Unnamed Item, Tensor products of rings $\mathfrak{Z}L$ of zero-dimensional frames, $z$-ideals in the real continuous function ring $\mathcal{R}(L_{\tau}) $, Unnamed Item, On the sobriety of the inverse topology, Internal neighbourhood structures, When is the frame of nuclei spatial: a new approach, RECOVERING THE BOUNDARY PATH SPACE OF A TOPOLOGICAL GRAPH USING POINTLESS TOPOLOGY, Hausdorff tight groupoids generalised, Locales whose coz-complemented cozero sublocales have open closures, On the maximal regular ideal of pointfree function rings, and more, On Isbell's density theorem for bitopological pointfree spaces. I, Metagories, The congruence biframe as a quasi-uniform bicompletion, On the lattice of $z$-ideals of a commutative ring, Frames of continuous functions, Canonical extensions of locally compact frames, The frame of the $p$-adic numbers, On hereditary properties of extremally disconnected frames and normal frames, The Vietoris uniformity for locales, Generalized continuous closure spaces. I: Meet preserving closure operations, Compactifications and reflections of partial spaces via partial frames, Lattice-equivalence of convex spaces, Partial frames and filter spaces, On the sublocale of an algebraic frame induced by the $d$-nucleus, Maximal $d$-elements of an algebraic frame, Concerning $P$-sublocales and disconnectivity, An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces, More on a curious nucleus, Property S and local connectedness in metric frames, Further thoughts on the ring $\mathcal{R}_c(L)$ in frames, A study of covering dimension for the class of finite lattices., Algebraic frames in which dense elements are above dense compact elements, Pointfree pointwise suprema in unital Archimedean $\ell$-groups., Operators between classes of modules given by preradicals, More on subfitness and fitness, Modal operators on compact regular frames and de Vries algebras., Concerning $P$-frames and the Artin-Rees property, Hull classes in compact regular frames, Some further results on pointfree convex geometry, Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions, Generalized spectra and applications to finite distributive lattices, ON MAXIMAL IDEALS OF R∞L, INTERSECTION OF ESSENTIAL IDEALS IN THE RING OF REAL-VALUED CONTINUOUS FUNCTIONS ON A FRAME, On CP-frames, Quasi SV-frames and their properties, The prime state ideal theorem in state residuated lattices, Internal Neighbourhood Structures II: Closure and closed morphisms, The spectrum of a localic semiring, A look at the structure of congruence frames by means of Heyting congruences, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Pre-image of functions in $C(L)$, Unnamed Item, Zero-divisor graph of real-valued continuous functions on a frame, Unnamed Item, Compactness and stability in diframes, zc-ideals and prime ideals in the ring RcL, On dimension andweight of a local contact algebra, Maximal ideals in rings of real measurable functions, Unnamed Item, Unnamed Item, Unnamed Item, Frame presentations of compact hedgehogs and their properties, A unified approach to Gelfand and de Vries dualities, Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces, From contact relations to modal operators, and back, McKinsey-Tarski algebras: an alternative pointfree approach to topology, A frame-theoretic perspective on Esakia duality, Pervin spaces and Frith frames: bitopological aspects and completion, Sierpinski object for composite affine spaces, Unnamed Item, Some properties of conjunctivity (subfitness) in generalized settings, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, Deriving dualities in pointfree topology from Priestley duality, On strongly harmonic and Gelfand modules, CHOICE-FREE STONE DUALITY, Measurable functions on $\sigma$-frames, Ordered locales, On the categorical behaviour of locales and D-localic maps, Overlap Algebras as Almost Discrete Locales, On $J$-frames, From $\lambda$-hollow frames to $\lambda$-repletions in $\mathbf{W}$. I: The scaffolding of a completely regular frame, Localic separation and the duality between closedness and fittedness, On categorical structures arising from implicative algebras: from topology to assemblies, Unnamed Item, Closed and open maps for partial frames, Barr-exact categories and soft sheaf representations, Maximal elements with minimal logic, A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean $\ell $-algebras, Topological duality via maximal spectrum functor, On locales whose countably compact sublocales have compact closure, Causal structure of spacetime and Scott topology, Locally functionally countable subalgebra of $\mathcal{R}(L)$, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Hewitt’s irresolvability and induced Sublocales in spatial frames, A note on certain subrings of ℛ (L), A lattice-theoretic approach to arbitrary real functions on frames, On some parallelism between complete regularity and zero-dimensionality, First steps going down on algebraic frames, Exceptional values of p-Adic Derivatives, a survey with some improvements, Rings of frame maps from $\mathcal{P}(\mathbb{R})$ to frames which vanish at infinity, Spacetime granularity from finite-dimensionality of local observable algebras, On maximal compact frames, Concerning strongly divisible, strongly fixed, and strongly $z$-ideals in $mathcal{R}L$, Unnamed Item, COMMENTS REGARDING d-IDEALS OF CERTAIN f-RINGS, Unnamed Item, Unnamed Item, A note on weakly Lindelöf frames, Dimension and universality on frames., More on locales in which every open sublocale is $z$-embedded, Unnamed Item, Quantale-valued generalizations of approach spaces and quantale-valued topological spaces, Axiom $T_D$ and the Simmons sublocale theorem, Order-enriched solid functors, Fixed points with respect to the L-slice homomorphism $\sigma _{a} $, Some aspects of (non) functoriality of natural discrete covers of locales, More ring-theoretic characterizations of P-frames, The Stone-Čech compactification of a partial frame via ideals and cozero elements, Completely primeL-filters, irreducibleL-filters and sobriety, On epireflective and coreflective hulls of a particular L-topological space, A unified view of the Dedekind completion of pointfree function rings, Lindelöf tightness and the Dedekind-MacNeille completion of a regular σ-frame, Perfectness in locales, A Boolean extension of a frame and a representation of discontinuity, On generalized topological molecular lattices, Rings of continuous functions vanishing at infinity on a frame, On the Menger and almost Menger properties in locales, Notes on Point-Free Topology, A new pointfree form of subspaces, Irreducible locales, CONTINUOUS FUNCTIONS ON LG-SPACES