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