Given a category one can consider the category of spectrum objects in . When is symmetric monoidal, there is an induced symmetric monoidal structure on the category of spectrum objects, generalizing the symmetric monoidal smash product of spectra.
Let be an object of a symmetric monoidal category . Following Ayoub we can define a category of symmetric -spectra in as described at spectrum object.
In that case the category of -symmetric sequences inherits a symmetric monoidal structure as described at symmetric sequence.
Consider the symmetric sequence whose th component is (with the actions of the symmetric group by permuting the factors). It turns out that is a commutative algebra object in the symmetric monoidal category .
As a consequence there is a symmetric monoidal structure on where is defined as the coequalizer of the diagram
By noting the tautological equivalence of categories
one gets a symmetric monoidal structure on .
…
The last chapter of
Created on February 7, 2014 at 00:25:36. See the history of this page for a list of all contributions to it.