Classifying spaces and classifying topoi - Moerdijk, Izak (Lecture notes in mathematics, 1995)