/ /
/
/
,
,
,
,
symmetric monoidal (∞,1)-category of spectra
, ,
,
,
/
Let be a commutative ring. The category of associative algebras over is the category
of rings under . If is a commutative rig, we can do the same with
The tensor product of -algebras has as underlying -module just the tensor product of modules of the underlying modules, . On homogeneous elements the algebra structure is given by
We write also for the tensor product of algebras.
For commutative -algebras, the tensor product is the coproduct in :
hence the pushout in Comm Ring? (or Comm Rig?)
For an associative algebra over a field , write Mod for its category of modules of finite dimension. Then the tensor product of algebras corresponds to the Deligne tensor product of abelian categories :
See at tensor product of abelian categories for more.
Last revised on March 23, 2016 at 03:22:29. See the history of this page for a list of all contributions to it.