Fraisse sequences: category-theoretic approach to universal homogeneous structures

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