  The study of Haeflier suggests that it is natural to regard a pseudogroup as
an etale groupoid. We show that any etale groupoid corresponds to a pseudogroup
sheaf, a new generalization of a pseudogroup. This correspondence is an analog
of the equivalence of the two definitions of a sheaf: as an etale space and as
a contravariant functor.
