classifying space of topological category