classifying space nlab