Note: This started as an nLab article, one that I took some issue with and wanted to rewrite. I’m not sure that a single word of the original remains.
In categorical universal algebra, a variety may refer to one of several things:
An equational class of algebras, carved out as a full subcategory of a category of structures for some algebraic signature , and consisting of those objects where a given set of equations in the signature is satisfied. (For example, the category of groups.)
Or (similarly but more generally), a full subcategory of a category of models for some algebraic theory, consisting of those objects where a given set of extra equations is satisfied. (For example, the commutative rings is a variety in the category of rings.)
Or, a category that is equivalent to such a full subcategory.
In this article, we are principally concerned with the second and third senses.
A variety of algebras, as a notion from universal algebra, is of course not to be confused with the algebro-geometric notion of algebraic variety?. However, there is a kinship, in that just as an algebraic variety is carved out of an affine space as a solution set of some set of equations, so too is a variety of algebras carved out from a larger category of algebras by specifying some extra algebraic equations that must be met.
The following definitions are adapted from Adamek.
By an abstract (finitary) algebraic theory, we will simply understand a small category with finite products?. (Compare Lawvere theory?, algebraic theory?.) A model or algebra of is by definition a product-preserving functor . A homomorphism of models is simply a natural transformation . The category of -algebras and their homomorphisms will be denoted .
A category equivalent to one of the form may be called an algebraic category. Algebraic categories are locally finitely presentable, hence in particular are complete and cocomplete. (Actually much more is true: algebraic categories are also Barr exact.)
If is an abstract algebraic theory, an equation in is a parallel pair of morphisms in . Following algebraic tradition, such an equation will be written . If is a model of , we say that an equation is satisfied in (or satisfies the equation) if .
A full subcategory is called a variety if there is a set of equations in such that the objects of are precisely those -algebras that satisfy all the equations in the set.
(Frequently it is categorically more convenient or appropriate to loosen this notion, and consider a variety of -algebras to be a fully faithful functor whose essential image? is the class of -algebras that satisfy the equations.)
A variety, considered as a category in its own right, is an algebraic category.
A variety is closed under the following constructions:
Products: If is a collection of objects of , then the product in lies in .
Subobjects: If is a monomorphism and belongs to , then so does .
It follows that is closed under limits?.
Images: If is a regular epi and belongs to , then so does .
Sifted colimits: if is a small sifted category? and is a diagram for which belongs to for every , then the colimit of also belongs to .
In particular, is closed under filtered colimits? and reflexive coequalizers?.
(“Birkhoff’s Variety Theorem) A full subcategory is a variety if and only if it is closed under products, subobjects, regular quotients, and directed unions.
(To be elaborated more. For example, compared with the classical HSP theorem.)