A groupoid correspondence on an étale, locally compact groupoid induces a
-correspondence on
its groupoid
-algebra.
We show that the Cuntz–Pimsner algebra for this
-correspondence
relative to an ideal associated to an open invariant subset of the groupoid is again a groupoid
-algebra
for a certain groupoid. We describe this groupoid explicitly and characterise
it by a universal property that specifies its actions on topological spaces.
Our construction unifies the construction of groupoids underlying the
-algebras
of topological graphs and self-similar groups.