Let K be a class equipped with a notion of embedding. A universality question asks: does K have a universal object? When K consists of uncountable objects, this easily becomes independent of ZFC. I will discuss through examples obstacles and recently developed methods for forcing a universal object.
