Towards a Characterization of Universal Categories

TL;DR

This paper characterizes algebraic universal graph categories within finite set theory, identifying conditions under which all concrete categories can embed, using sparse-dense dichotomy and model theory.

Contribution

It provides a novel characterization of algebraic universal graph categories based on sparse-dense properties and model theoretic principles.

Findings

Identifies algebraic universal categories within finite set theory.

Uses sparse-dense dichotomy to characterize these categories.

Connects the characterization to model theoretic concepts.

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.