Categories of algebraic sets

The category of algebraic sets is defined in a straightforward way for any algebraic theory . It is a concrete, complete and cocomplete category dually equivalent to a full reflective subcategory of the category of -algebras. For the algebraic theory of commutative algebras over a field K, we get the algebraic sets over K.