Related papers: Etale groupoids and their quantales
It is well known that inverse semigroups are closely related to \'etale groupoids. In particular, it has recently been shown that there is a (non-functorial) equivalence between localic \'etale groupoids, on one hand, and complete and…
We provide three functorial extensions of the equivalence between localic etale groupoids and their quantales. The main result is a biequivalence between the bicategory of localic etale groupoids, with bi-actions as 1-cells, and a…
We introduce the notion of wide representation of an inverse semigroup and prove that with a suitably defined topology there is a space of germs of such a representation which has the structure of an etale groupoid. This gives an elegant…
Stably supported quantales generalize pseudogroups and provide an algebraic context in which to study the correspondences between inverse semigroups and \'etale groupoids. Here we study a further generalization where a non-unital version of…
It is well known that if G is an \'etale topological groupoid then its topology can be recovered as the sup-lattice generated by G-sets, i.e. by the images of local bisections. This topology has a natural structure of unital involutive…
We study the projections of an arbitrary stably Gelfand quantale $Q$ and show that each projection determines a pseudogroup $S\subset Q$ (and a corresponding localic \'etale groupoid $G$) together with a map of involutive quantales…
Several notions of sheaf on various types of quantale have been proposed and studied in the last twenty five years. It is fairly standard that for an involutive quantale Q satisfying mild algebraic properties the sheaves on Q can be defined…
We introduce locally involutive semigroups and embed them into the category of ordered groupoids. This embedding restricts to a correspondence between quasi-involutive semigroups and ordered groupoids with mediator, extending the classical…
For an arbitrary localic etale groupoid G we provide simple descriptions, in terms of modules over the quantale O(G) of the groupoid, of the continuous actions of G, including actions on open maps and sheaves. The category of G-actions is…
This paper extends the fundamental results of frame theory to a non-commutative setting where the role of locales is taken over by \'etale localic categories. This involves ideas from quantale theory and from semigroup theory, specifically…
Paterson showed how to construct an etale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz's construction can itself be further simplified by using…
For a given inverse semigroup, one can associate an \'etale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated \'etale groupoids. In this paper, we focus on…
Taking advantage of the quantale-theoretic description of \'etale groupoids we study principal bundles, Hilsum-Skandalis maps, and Morita equivalence in terms of modules on inverse quantal frames. The Hilbert module description of quantale…
This is a short survey paper, partly meant as a research announcement. Its purpose is to highlight some aspects of the interplay between quantales, inverse semigroups, and groupoids. Many of the results mentioned have not yet been presented…
We introduce a class of inverse monoids that can be regarded as non-commutative generalizations of Boolean algebras. These inverse monoids are related to a class of \'etale topological groupoids, under a non-commutative generalization of…
Under non-commutative Stone duality, there is a correspondence between second countable Hausdorff \'etale groupoids which have a Cantor space of identities and what we call Tarski inverse monoids: that is, countable Boolean inverse…
We take advantage of the correspondence between pseudogroups and inverse quantal frames, and of the recent description of Morita equivalence for inverse quantal frames in terms of biprincipal bisheaves, to define Morita equivalence for…
Two conjectures about homology groups, K-groups and topological full groups of minimal etale groupoids on Cantor sets are formulated. We verify these conjectures for many examples of etale groupoids including products of etale groupoids…
We prove a generalisation of the correspondence, due to Resende and Lawson--Lenz, between \'etale groupoids---which are topological groupoids whose source map is a local homeomorphisms---and complete pseudogroups---which are inverse monoids…
A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…