Gelfand spectra in Grothendieck toposes using geometric mathematics

Bas Spitters, Steven Vickers, Sander Wolters

In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra, A, a topos T(A) of sheaves on a locale and a commuta…