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