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.

Last revised on July 20, 2022 at 06:41:38. See the history of this page for a list of all contributions to it.