Text this: Classifying spaces and classifying topoi /