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

frameslocalesStone spacespointless topologyopen-set lattice

Mathematics Subject Classification ID

Related Items (67)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Projective topological spaces
• Gattungen von lokalen Strukturen
• Open maps of toposes
• Galois theory in a topos
• The Gleason cover of a topos. I
• The Gleason cover of a topos. II
• Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
• A couple of triples
• Reports of the Midwest category seminar. IV
• Ex-homotopy theory. I
• Factorisation theorems and projective spaces in topology
• Lattices and topological spaces
• L'anneau spectral et l'anneau filtre d'homologie d'un espace localement compact et d'une application continue
• The algebra of topology
• On closed elements in closure algebras
• An extension of the Galois theory of Grothendieck
• The Duality of Distributive Continuous Lattices
• Product Spaces in Locales
• Concepts of general topology in constructive mathematics and in sheaves, II
• Tychonoff's theorem without the axiom of choice
• The Spectral Theory of Distributive Continuous Lattices
• Boolean Algebras and Their Application to Topology
• Quotient Frames and Subspaces
• The independence of the axiom of choice from the Boolean prime ideal theorem
• Prime Ideal Structure in Commutative Rings
• Atomless Parts of Spaces.
• The Theory of Representation for Boolean Algebras
• On the application of Tychonoff's theorem in mathematical proofs
• Alternative homotopy theories

This page was built for publication: The point of pointless topology