A globalisation of the Gelfand duality theorem

DOI10.1016/J.APAL.2005.05.018MaRDI QIDQ2575765zbMATH OpenOpenAlexFDO

Authors Christopher J. Mulvey, Bernhard Banaschewski

Publication date 6 December 2005

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2005.05.018

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Frames, locales (06D22) Topoi (18B25) Categories in geometry and topology (18F99) Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46L99) Categorical methods in general topology (54B30) Function spaces in general topology (54C35) Compactness (54D30)

Recommendations

• Localic metric spaces and the localic Gelfand duality
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• Gelfand spectra in Grothendieck toposes using geometric mathematics
• A remark on Gelfand duality
• A horizontal categorification of Gel'fand duality

Cites work

• A constructive proof of the Stone-Weierstrass theorem
• A generalisation of Gel'fand duality
• A globalisation of the Gelfand duality theorem
• A globalization of the Hahn-Banach theorem
• A non-commutative Gel'fand-Naimark theorem
• About Stone's notion of spectrum
• Banach sheaves
• Commutative Rings in Which Every Prime Ideal is Contained in a Unique Maximal Ideal
• Compact ringed spaces
• Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
• scientific article; zbMATH DE number 3672982 (Why is no real title available?)
• scientific article; zbMATH DE number 3674796 (Why is no real title available?)
• scientific article; zbMATH DE number 3742211 (Why is no real title available?)
• scientific article; zbMATH DE number 3745447 (Why is no real title available?)
• scientific article; zbMATH DE number 3759128 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 2019830 (Why is no real title available?)
• scientific article; zbMATH DE number 3430850 (Why is no real title available?)
• scientific article; zbMATH DE number 3411260 (Why is no real title available?)
• Representation of rings by sections
• Stone-Čech compactification of locales. II
• The Gleason cover of a topos. II
• The spectral theory of commutative C^∗-algebras: The constructive Gelfand-Mazur theorem
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• Toposes without points

Cited in

(31)

• A topos for algebraic quantum theory
• Ring theory and pointfree topology.
• An essay on noncommutative topology
• On the quantisation of spaces
• A comparison of two topos-theoretic approaches to quantum theory
• A globalisation of the Gelfand duality theorem
• Localic metric spaces and the localic Gelfand duality
• Gelfand-type duality for commutative von Neumann algebras
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• Topos quantum logic and mixed states
• A Duality Theorem for Real C * Algebras
• Duality for generic algebras
• The Dauns--Hofmann theorem revisited
• The Gelfand spectrum of a noncommutative C^*-algebra: a topos-theoretic approach
• 2010 North American Annual Meeting of the Association for Symbolic Logic
• Constructive Gelfand duality for C*-algebras
• Topos models for physics and topos theory
• Discrete noncommutative Gel'fand Naĭmark duality
• scientific article; zbMATH DE number 3899521 (Why is no real title available?)
• Bohrification of operator algebras and quantum logic
• A categorial semantic representation of quantum event structures
• A remark on Gelfand duality
• scientific article; zbMATH DE number 2070132 (Why is no real title available?)
• scientific article; zbMATH DE number 2217673 (Why is no real title available?)
• A horizontal categorification of Gel'fand duality
• Filtral pretoposes and compact Hausdorff locales
• A constructive proof of the Stone-Weierstrass theorem
• Intuitionistic quantum logic of an \(n\)-level system
• Stone-Čech compactification of locales. II
• Locales in functional analysis
• Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory

This page was built for publication: A globalisation of the Gelfand duality theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575765)