nLab
variety

Idea

A variety may denote

In the first two cases, at least locally, varieties are given by satisfaction of a family of equations, given by polynomials (algebraic variety), analytic functions (analytic variety). The variety of algebras consists to some extent similarly of algebras satisfying some list of equations for algebraic operations true for any elements in the place of free variables.

Revised on December 20, 2012 04:17:04 by Urs Schreiber (82.169.65.155)