Publication at Faculty of Mathematics and Physics |
2017
Abstract
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.