  A pseudogroup is a complete infinitely distributive inverse monoid. Such
inverse monoids bear the same relationship to classical pseudogroups of
transformations as frames do to topological spaces. The goal of this paper is
to develop the theory of pseudogroups motivated by applications to group
theory, C*-algebras and aperiodic tilings. Our starting point is an adjunction
between a category of pseudogroups and a category of etale groupoids from which
we are able to set up a duality between spatial pseudogroups and sober etale
groupoids. As a corollary to this duality, we deduce a non-commutative version
of Stone duality involving what we call boolean inverse semigroups and boolean
etale groupoids, as well as a generalization of this duality to distributive
inverse semigroups. Non-commutative Stone duality has important applications in
the theory of C*-algebras: it is the basis for the construction of Cuntz and
Cuntz-Krieger algbras and in the case of the Cuntz algebras it can also be used
to construct the Thompson groups. We then define coverages on inverse
semigroups and the resulting presentations of pseudogroups. As applications, we
show that Paterson's universal groupoid is an example of a booleanization, and
reconcile Exel's recent work on the theory of tight maps with the work of the
second author.
