Title of article
A globalisation of the Gelfand duality theorem
Author/Authors
Banaschewski، نويسنده , , Bernhard and Mulvey، نويسنده , , Christopher J.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
42
From page
62
To page
103
Abstract
In this paper we bring together results from a series of previous papers to prove the constructive version of the Gelfand duality theorem in any Grothendieck topos E , obtaining a dual equivalence between the category of commutative C∗-algebras and the category of compact, completely regular locales in the topos E .
Keywords
Spectrum , Commutative C?-algebra , Constructive , Gelfand duality , Locale , Propositional geometric theory
Journal title
Annals of Pure and Applied Logic
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1443694
Link To Document