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.
[1] Joan W Negrepontis. Duality in analysis from the point of view of triples , 1971 .
[2] I. Moerdijk,et al. Models for smooth infinitesimal analysis , 1990 .
[3] F. E. J. Linton,et al. Some Aspects of Equational Categories , 1966 .
[4] Horst Herrlich,et al. Abstract and concrete categories , 1990 .
[5] S. Lane. Categories for the Working Mathematician , 1971 .