Towards a characterization of universal categories.

In this note we characterize, within the framework of the theory of finite set, those categories of graphs that are algebraic universal in the sense that every concrete category fully embeds in them. The proof of the characterization is based on the sparse–dense dichotomy and its model theoretic equivalent. [ABSTRACT FROM AUTHOR]