classifying toposes and foliations