15 citations · 73 across the 25 of their papers we have counts for
4 papers · 2 filters
Complete C*-categories and a topos theoretic Green-Julg theorem
Simon Henry
We investigate what would be a correct definition of categorical completeness for C*-categories and propose several variants of such a definition that make the category of Hilbert…
On toposes generated by cardinal finite objects
Simon Henry
We give a characterizations of toposes which admit a generating family of objects which are internally cardinal finite (i.e. Kuratowski finite and decidable) in terms of "topologic…
A Geometric Bohr topos
Simon Henry
In this short note, we construct a variant of the Bohr topos of a C*-algebra which takes into account the topology of the algebra in a finer way and such that this construction is…
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…