| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662680 | Annals of Pure and Applied Logic | 2006 | 42 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
