Algebras and modules
Model category presentations
Geometry on formal duals of algebras
or denotes a category of commutative associative algebras.
Usually this is understood implicitly as algebras over some ground field . In this case
CommAlg \simeq k/CRing
is the slice category of CRing – the category of commutative rings – under .
Created on August 27, 2011 07:55:40
by Urs Schreiber