45 citations · 398 across the 36 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
math-ph2010★ 34 cited
The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach
Chris Heunen, Nicolaas P. Landsman, Bas Spitters +1
We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of 'noncommutative spaces' is the opposi…
cs.LO2010★ 3 cited
The space of measurement outcomes as a spectrum for non-commutative algebras
Bas Spitters
Bohrification defines a locale of hidden variables internal in a topos. We find that externally this is the space of partial measurement outcomes. By considering the double negatio…
math.LO2010★ 2 cited
Constructive Theory of Banach algebras
Thierry Coquand, Bas Spitters
We present a way to organize a constructive development of the theory of Banach algebras, inspired by works of Cohen, de Bruijn and Bishop. We illustrate this by giving elementary…