functoriality of classifying space