Stone duality for spectral sheaves and the patch monad

DOI10.1016/j.jpaa.2022.107306OpenAlexW4225919517MaRDI QIDQ2689181

Mai Gehrke, Clemens Berger

Publication date: 9 March 2023

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2202.00084

zbMATH Keywords

Stone dualityspectral spacedistributive skew latticedistributive bandpatch monadspectral sheaf

Mathematics Subject Classification ID

Stone spaces (Boolean spaces) and related structures (06E15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Frames and locales, pointfree topology, Stone duality (18F70) Generalizations of semigroups (20M75)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-commutative Priestley duality.
• Actions of Boolean rings on sets
• Cancellation in skew lattices
• Comprehensive factorisation systems
• The structure of idempotent semigroups. I
• Skew lattices in rings
• Some elementary proofs of basic theorems in the cohomology of quasi- coherent sheaves
• Domain theory in logical form
• Normal skew lattices
• Sheaves in geometry and logic: a first introduction to topos theory
• Asymmetry and duality in topology
• Difference hierarchies and duality with an application to formal languages
• Connected components and colimits
• Some Stone spaces and recursion theory
• Éléments de géométrie algébrique. III: Étude cohomologique des faisceaux cohérents. (Séconde partie). Rédigé avec la colloboration de J. Dieudonné
• Boolean sets, skew Boolean algebras and a non-commutative Stone duality
• Distributivity in skew lattices
• Skew Boolean algebras
• Note on idempotent semigroups, II
• Sheaf Constructions and Their Elementary Properties
• Spectral Spaces
• The comprehensive factorization of a functor
• An isomorphism principle in general topology
• Prime Ideal Structure in Commutative Rings
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras
• Topological representations of distributive lattices and Brouwerian logics