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\).