  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.
