2000 character limit reached
A Geometric Bohr topos
Published 6 Feb 2015 in math.CT and math.OA | (1502.01896v1)
Abstract: 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 stable under pullback along geometric morphisms. This generalizes a construction for finite dimensional algebras of G.Raynaud. Our idea is to construct the Bohr topos of a C*-algebra A as the sublocale of the lower power locale of the localic completion of A which classifies the commutative localic sub-C*-algebras of A.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.