Existence of groupoid models for diagrams of groupoid correspondences

Abstract

This article continues the study of diagrams in the bicategory of étale groupoid correspondences. We prove that any such diagram has a groupoid model and that the groupoid model is a locally compact étale groupoid if the diagram is locally compact and proper. A key tool for this is the relative Stone-Čech compactification for spaces over a locally compact Hausdorff space.