classifying spaces and classifying topoi