Classifying toposes and foliations (Q803599): Difference between revisions

For any étale topological groupoid G (for example, the holonomy groupoid of a foliation), it is shown that its classifying topos is homotopy equivalent to its classifying space. As an application, we prove that the fundamental group of Haefliger for the (leaf space of) a foliation agrees with the one introduced by Van Est. We also give a new proof of Segal's theorem on Haefliger's classifying space \(B\Gamma^ q\).