# 1 Lawvere Theory

A Lawvere theory is a category $$\cT$$ with finite products in which every object is isomorphic to a finite power $$X^n$$ of a generic object $$X$$.

A model of the theory $$\cT$$ in a category $$\cC$$ with finite products is a product-preserving functor $$\cT \to \cC$$.