6 citations · 9 across the 2 of their papers we have counts for
2 papers
math.CT2015★ 3 cited
Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete -categories
Simon Henry
** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of squ…
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…