We develop a category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in the topology of compact Hausdorff spaces.