So many decades since I did abstract nonsese. Sounds like …

So many decades since I did abstract nonsese. Sounds like the gist of it is the assignment of classifying spaces to (topological, lie, etc...) groups is not just a function but a functor, and a representable one at that.