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
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:
“The end product of child raising is not only the child but the parents, who get to go through each stage of human development from the other side, and get to relive the experiences that shaped them, and get to rethink everything their parents taught them. The get, in effect, to reraise themselves and become their own person.”
—Frank Pittman (20th century)