Frames, locales (06D22) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Topological groupoids (including differentiable and Lie groupoids) (22A22) Categorical methods in general topology (54B30) Quantales (06F07) Inverse semigroups (20M18)
Abstract: We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of etale groupoid is subsumed in a natural way by that of quantale. In particular, to each etale groupoid, either localic or topological, there is associated a unital involutive quantale. We obtain a bijective correspondence between localic etale groupoids and their quantales, which are given a rather simple characterization and are here called inverse quantal frames. We show that the category of inverse quantal frames is equivalent to the category of complete and infinitely distributive inverse monoids, and as a consequence we obtain a correspondence between these and localic etale groupoids that generalizes more classical results concerning inverse semigroups and topological etale groupoids. This generalization is entirely algebraic and it is valid in an arbitrary topos. As a consequence of these results we see that a localic groupoid is etale if and only if its sublocale of units is open and its multiplication map is semiopen, and an analogue of this holds for topological groupoids. In practice we are provided with new tools for constructing localic and topological etale groupoids, as well as inverse semigroups, for instance via presentations of quantales by generators and relations. The characterization of inverse quantal frames is to a large extent based on a new quantale operation, here called a support, whose properties are thoroughly investigated, and which may be of independent interest.
Recommendations
Cites work
- scientific article; zbMATH DE number 426314 (Why is no real title available?)
- scientific article; zbMATH DE number 3990127 (Why is no real title available?)
- scientific article; zbMATH DE number 4030272 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1956612 (Why is no real title available?)
- scientific article; zbMATH DE number 1515267 (Why is no real title available?)
- scientific article; zbMATH DE number 1512860 (Why is no real title available?)
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- scientific article; zbMATH DE number 2151117 (Why is no real title available?)
- scientific article; zbMATH DE number 2172005 (Why is no real title available?)
- scientific article; zbMATH DE number 4115525 (Why is no real title available?)
- scientific article; zbMATH DE number 4119132 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- scientific article; zbMATH DE number 764339 (Why is no real title available?)
- scientific article; zbMATH DE number 822678 (Why is no real title available?)
- A globalization of the Hahn-Banach theorem
- A groupoid approach to C*-algebras
- A homology theory for étale groupoids
- A noncommutative theory of Penrose tilings
- A note on infinitely distributive inverse semigroups.
- An extension of the Galois theory of Grothendieck
- Guarded and banded semigroups.
- Isometries Between B ∗ -Algebras
- On quantales and spectra of C*-algebras
- On the quantisation of points
- On the quantisation of spaces
- Quantales and C∗-Algebras
- Restriction categories. I: Categories of partial maps
- Sheaves in geometry and logic: a first introduction to topos theory
- Sup-lattice 2-forms and quantales
Cited in
(92)- Relating ample and biample topological categories with Boolean restriction and range semigroups
- The limit and tensor product in the category of Q-P quantale modules
- Locally Hausdorff tight groupoids generalised
- An algebraic approach to the Weyl groupoid
- Prime étale groupoid algebras with applications to inverse semigroup and Leavitt path algebras
- Generalising the étale groupoid-complete pseudogroup correspondence
- Reconstructing étale groupoids from semigroups
- Pseudogroups and their torsors
- Spectral continuity for aperiodic quantum systems I. General theory
- On Ehresmann semigroups
- D-semigroups and constellations
- Coverages on inverse semigroups
- Equivalent groupoids have Morita equivalent Steinberg algebras.
- Ideals of étale groupoid algebras and Exel's Effros-Hahn conjecture
- Sheaves on involutive quantales: Grothendieck quantales.
- Invariant means on Boolean inverse monoids
- The points and diameters of quantales
- Effective equivalence relations and principal quantales
- Quantales of open groupoids
- Diagonal-preserving isomorphisms of étale groupoid algebras
- General non-commutative locally compact locally Hausdorff Stone duality
- Exel's Effros-Hahn conjecture for Steinberg algebras over additively idempotent semifields
- Relative Frobenius algebras are groupoids
- Remark on the unital quantale \(Q[e]\)
- Groupoid quantales: A non-étale setting
- Simple Lie algebras arising from Steinberg algebras of Hausdorff ample groupoids
- Introduction to inverse semigroups
- Boolean and classical restriction categories
- A general Banach-Stone type theorem and applications
- Groupoid sheaves as quantale sheaves
- Ehresmann theory and partition monoids
- The many groupoids of a stably Gelfand quantale
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Stable finiteness of ample groupoid algebras, traces and applications
- Quantale-Valued Generalizations of Approach Groups
- A dualizing object approach to noncommutative Stone duality.
- Chain conditions on étale groupoid algebras with applications to Leavitt path algebras and inverse semigroup algebras
- Sheaves as modules
- Relational representation of groupoid quantales
- A groupoid approach to discrete inverse semigroup algebras
- Recovering the boundary path space of a topological graph using pointless topology
- Non-commutative logical algebras and algebraic quantales
- Functoriality of groupoid quantales. II
- Precoherent quantale completions of partially ordered semigroups
- Hausdorff tight groupoids generalised
- The universal Boolean inverse semigroup presented by the abstract Cuntz-Krieger relations
- Simplicity, primitivity and semiprimitivity of étale groupoid algebras with applications to inverse semigroup algebras
- Pseudogroups and their étale groupoids.
- Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
- Open maps of involutive quantales
- Functoriality of groupoid quantales. I.
- Quantales and Fell bundles
- An abstract theory of physical measurements
- Étale inverse semigroupoids: elementary properties, universal constructions and duality
- An algebraic generalization of Kripke structures
- The dynamics of partial inverse semigroup actions
- Characterization of projective quantales
- The completions of multi-posets and quantum B-algebras
- Étale groupoids as germ groupoids and their base extensions.
- Non-commutative Stone duality
- TWISTS, CROSSED PRODUCTS AND INVERSE SEMIGROUP COHOMOLOGY
- Boolean inverse semigroups and their type monoids
- Value semigroups, value quantales, and positivity domains
- Morita equivalence of pseudogroups
- Actions of étale-covered groupoids
- Sheaf theoretic characterization of étale groupoids
- MODULES OVER ÉTALE GROUPOID ALGEBRAS AS SHEAVES
- REPRESENTING STRUCTURED SEMIGROUPS ON ÉTALE GROUPOID BUNDLES
- Toposes for semigroups: an invitation
- Topological groupoid quantales
- Simplicity of inverse semigroup and étale groupoid algebras
- Realizing corners of Leavitt path algebras as Steinberg algebras, with corresponding connections to graph \(C^{\ast}\)-algebras
- Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
- A perspective on non-commutative frame theory
- Quantum spaces
- A noncommutative generalization of Stone duality.
- Tarski monoids: Matui's spatial realization theorem
- On the geometry of physical measurements: topological and algebraic aspects
- Realizing ultragraph Leavitt path algebras as Steinberg algebras
- Not every complete lattice can support a unital quantale
- An algebraic characterisation of ample type I groupoids
- On the restriction maps of the Fourier and Fourier-Stieltjes algebras over locally compact groupoids
- Noncommutative Pierce duality between Steinberg rings and ample ringoid bundles
- Tensor topology
- A tale of two categories: inductive groupoids and cross-connections
- Recent developments in inverse semigroup theory
- Quantum B-algebras
- On Steinberg algebras of Hausdorff ample groupoids over commutative semirings
- The étale groupoid of an inverse semigroup as a groupoid of filters.
- A perspective on non-commutative quantum gravity
- Open quotients of trivial vector bundles
- Contextuality and noncommutative geometry in quantum mechanics
This page was built for publication: Étale groupoids and their quantales
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q854099)
