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

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

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

• 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?)
• 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
• 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)

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

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)