classifying space functor