Classifying spaces and classifying topoi I. Moerdijk. - Moerdijk, Ieke (Lecture notes in mathematics (Springer-Verlag) ;, 1995)