The point of pointless topology

DOI10.1090/S0273-0979-1983-15080-2zbMath0499.54002OpenAlexW2033693919WikidataQ56066860 ScholiaQ56066860MaRDI QIDQ3965242

Peter T. Johnstone

Publication date: 1983

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0273-0979-1983-15080-2

zbMATH Keywords

frames locales Stone spaces pointless topology open-set lattice

Mathematics Subject Classification ID

Compactness (54D30) Complete lattices, completions (06B23) Topological spaces and generalizations (closure spaces, etc.) (54A05) Topoi (18B25) Structure and representation theory of distributive lattices (06D05) Research exposition (monographs, survey articles) pertaining to general topology (54-02) History of general topology (54-03) History of ordered structures (06-03)

Related Items

Adjoint maps between implicative semilattices and continuity of localic maps, Particle-free bodies and point-free spaces, Unnamed Item, Unnamed Item, Unnamed Item, Cryptomorphic topological structures: a computational, relation-algebraic approach, The Lindelöf Tychonoff Theorem and choice principles, Stone dualities from opfibrations, $\kappa$-frames, Causal categories: relativistically interacting processes, Semiprime ideals in general lattices, Normal spectral spaces and their dimensions, A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors, $L$-fuzzy version of Stone's representation theorem for distributive lattices, Compactification of Frames, Gelfand-type duality for commutative von Neumann algebras, Exact approximations to Stone-Čech compactification, Stone Dualities from Opfibrations, Presenting the frame of the unit circle., A set-theoretic proof of the representation of MV-algebras by sheaves, CHOICE-FREE STONE DUALITY, Separating families of locale maps and localic embeddings, Ordered locales, No finite axiomatizations for posets embeddable into distributive lattices, On the geometry of physical measurements: topological and algebraic aspects, The finite dual coalgebra as a quantization of the maximal spectrum, Almost new pre-apartness from old, Quantales of open groupoids, An étalé space construction for stacks, Five stages of accepting constructive mathematics, A CRITICAL NOTE ON BUNGE'S ‘SYSTEM BOUNDARY’ AND A NEW PROPOSAL, Approximating orders in meet-continuous lattices and regularity axioms in many valued topology, Groupoid sheaves as quantale sheaves, Some Reasons to Reopen the Question of the Foundations of Probability Theory Following Gian-Carlo Rota, Neighbourhood lattices – a poset approach to topological spaces, The category of finitary biframes as the category of pointfree bispaces, THE CLASSICAL CONTINUUM WITHOUT POINTS, Convergence in formal topology: a unifying notion, Exceptional values of p-Adic Derivatives, a survey with some improvements, Tychonoff's theorem in the framework of formal topologies, Machine semantics, Strong De Morgan's law and the spectrum of a commutative ring, Categorical geometry and integration without points, Fibrewise separation axioms for locales, Forcing in Proof Theory, Monoreflections of Archimedean $\ell$-groups, regular $\sigma$-frames and regular Lindelöf frames, The topology of a quantale valued metric space, On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular, Unnamed Item, The frame of smashing tensor-ideals, Pointless proofs of the Menger and Rothberger games, Formalising Overlap Algebras in Matita, Fixed points with respect to the L-slice homomorphism $\sigma _{a} $, An abstract theory of physical measurements, Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, A category of quantum posets, On the collection of points of a formal space, Heyting-valued interpretations for constructive set theory, Programming interfaces and basic topology, Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert), Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces, Functoriality of groupoid quantales. I., Notes on Point-Free Topology, Higher order functions and Brouwer’s thesis, Maximal ideals in countable rings, constructively, Apartness spaces as a framework for constructive topology, Locales in functional analysis

Cites Work