Constructive Gelfand duality for C*-algebras

Abstract

We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.

6pages

Cited by in corpus (4)

• Noncommutativity as a colimit
• Bohrification of operator algebras and quantum logic
• Bohrification of local nets
• Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory