Background: a Lawvere theory $T$ is a category with finite products such that each object is a power of a fixed object $x$. Given a Lawvere theory $T$, the category $\text{Mod}_T$ of models of $T$ is the category of productpreserving functors $T \to \text{Set}$. Any such category is locally finitely presentable (if I'm not mistaken). GabrielUlmer duality says, among other things, that locally finitely presentable categories are categories of models of generalizations of Lawvere theories. Do we have something like this result for categories of models of Lawvere theories (in the sense that we can identify some categorical properties that are satisfied precisely by such categories)?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
Adámek and Rosický [On sifted colimits and generalized varieties] have shown that a category $\mathcal{C}$ is equivalent to the category of models for a (finitary) Lawvere theory in $\mathbf{Set}$ if and only if it satisfies these conditions:
These conditions are easily seen to be analogues of the conditions for $\mathcal{C}$ to be locally finitely presentable, except for replacing "filtered" (or "directed") everywhere by "sifted". Incidentally, any such $\mathcal{C}$ is locally finitely presentable, and we may also replace "cocomplete" in condition (1) with "complete", just as for locally finitely presentable categories. 

