Classifying toposes and foliations
Ieke Moerdijk (1991)
Annales de l'institut Fourier
Similarity:
For any etale topological groupoid (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 .