Classifying spaces and classifying topoi - Moerdijk, Ieke. (Springer,)