Why does it sound like a big field? The word universal means something about factorization of maps and so on. Things such as universal enveloping algebras come up all the time in the study of Hopf algebras, quantum groups and so on, so they are used a lot. I think the PBW type results show just how important they are in understanding representations of many objects.