15 citations · 73 across the 25 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
math.CT2014★ 6 cited
Constructive Gelfand duality for non-unital commutative C*-algebras
Simon Henry
We prove constructive versions of various usual results related to the Gelfand duality. Namely, that the constructive Gelfand duality extend to a duality between commutative nonuni…
math.CT2014
Measure theory over boolean toposes
Simon Henry
In this paper we develop a notion of measure theory over boolean toposes which is analogous to noncommutative measure theory, i.e. to the theory of von Neumann algebras. This is pa…
math.CT2014
Localic Metric spaces and the localic Gelfand duality
Simon Henry
In this paper we prove, as conjectured by B.Banachewski and C.J.Mulvey, that the constructive Gelfand duality can be extended into a duality between compact regular locales and uni…