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 :
See at pushouts of commutative monoids.
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 August 24, 2020 at 12:23:04. See the history of this page for a list of all contributions to it.