Towards a Characterization of Universal Categories
Category Theory
2016-08-04 v1 Combinatorics
Abstract
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.
Cite
@article{arxiv.1608.01112,
title = {Towards a Characterization of Universal Categories},
author = {J. Nesetril and P. Ossona de Mendez},
journal= {arXiv preprint arXiv:1608.01112},
year = {2016}
}