Smash Product - As A Symmetric Monoidal Product

As A Symmetric Monoidal Product

For any pointed spaces X, Y, and Z in an appropriate "convenient" category (e.g. that of compactly generated spaces) there are natural (basepoint preserving) homeomorphisms

\begin{align}
X \wedge Y &\cong Y\wedge X, \\
(X\wedge Y)\wedge Z &\cong X \wedge (Y\wedge Z).
\end{align}

However, for the naive category of pointed spaces, this fails. See the following discussion on MathOverflow.

These isomorphisms make the appropriate category of pointed spaces into a symmetric monoidal category with the smash product as the monoidal product and the pointed 0-sphere (a two-point discrete space) as the unit object. One can therefore think of the smash product as a kind of tensor product in an appropriate category of pointed spaces.

Read more about this topic:  Smash Product

Famous quotes containing the word product:

    A gentleman opposed to their enfranchisement once said to me, “Women have never produced anything of any value to the world.” I told him the chief product of the women had been the men, and left it to him to decide whether the product was of any value.
    Anna Howard Shaw (1847–1919)