84 citations · 163 across the 3 of their papers we have counts for
3 papers
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…
Intuitionistic quantum logic of an n-level system
Martijn Caspers, Chris Heunen, Nicolaas P. Landsman +1
A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathemat…
A topos for algebraic quantum theory
Chris Heunen, Nicolaas P. Landsman, Bas Spitters
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea th…