classifying space of a topological category