Constructive Gelfand duality for C*-algebras
Functional Analysis
2010-05-26 v2 Category Theory
Abstract
We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.
Keywords
Cite
@article{arxiv.0808.1518,
title = {Constructive Gelfand duality for C*-algebras},
author = {Thierry Coquand and Bas Spitters},
journal= {arXiv preprint arXiv:0808.1518},
year = {2010}
}
Comments
6pages