Abstract
We study the projections of an arbitrary stably Gelfand quantale Q and show that each projection determines a pseudogroup S⊂Q (and a corresponding localic étale groupoid G) together with a map of involutive quantales p:Q→L∨(S)[=O(G)]. 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 Q whose partial units cover Q.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
