The many groupoids of a stably Gelfand quantale
arXiv:1706.06545 · doi:10.1016/j.jalgebra.2017.11.042
Abstract
We study the projections of an arbitrary stably Gelfand quantale and show that each projection determines a pseudogroup (and a corresponding localic étale groupoid ) together with a map of involutive quantales . As an application we obtain a simplified axiomatization of inverse quantal frames (= quantales of étale groupoids) whereby such a quantale is shown to be the same as a unital stably Gelfand quantal frame whose partial units cover .
Version 2 contains small changes and a new section 3 with some examples