1: \begin{abstract}

2: Moerdijk's site description for equivariant sheaf toposes on open topological groupoids is used to give a proof for the (known, but apparently unpublished) proposition that

3: if \topo{H} is a subgroupoid of an open topological groupoid \topo{G}, then  the topos of equivariant sheaves on \topo{H}  is a subtopos of the topos of equivariant sheaves on \topo{G}. This proposition is then applied to the study of quotient geometric theories and subtoposes. In particular, an intrinsic characterization is given of those subgroupoids that are definable by quotient theories.

4: %A self-contained presentation of Moerdijk's site description is included for the case of open topological, rather than localic, groupoids. In the final section, the site description is used to give an intrinsic characterization %of those open topological groupoids that induce toposes which have a generating set of compact objects and the property that a finite product of compact objects is compact. This generalizes a known characterization of coherent %topological groups.

5: \end{abstract}