2016/08/03 by Nesetril, J., de Mendez, P. Ossona · 2 citations
#Category Theory (math.CT) #Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.1608.01112
In this note we characterize, within the framework of the theory of finite set, those categories of graphs that are \em algebraic universal in the sense that every concrete category embeds in them. The proof of the characterization is based on the sparse--dense dichotomy and its model theoretic equivalent.