Composition of topological correspondences

Abstract

In the previous article, we proved that a topological correspondence $(X,λ)$ from a locally compact groupoid with a Haar system $(G,α)$ to another one, $(H,β)$, produces a $C^*$-correspondence $\mathcal{H}(X)$ from $C^*(G,α)$ to $C^*(H,β)$. In the present article, we describe how to form a composite of two topological correspondences when the bispaces are Hausdorff and second countable in addition to being locally compact.