6 citations · 15 across the 4 of their papers we have counts for
4 papers · 1 filter
The convolution algebra of an absolutely locally compact topos
Simon Henry
We introduce a class of toposes called "absolutely locally compact" toposes and of "admissible" sheaf of rings over such toposes. To any such ringed topos we atta…
Algebraic models of homotopy types and the homotopy hypothesis
Simon Henry
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that eac…
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…
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…