Why do we use the smash product in the category of based topological spaces?
Solution 1:
Two reasons why we want the smash product:
- There is a natural homeomorphism $(X\times Y)^+ \cong X^+ \wedge Y^+$ for any spaces $X$ and $Y$. This is one of the places that the smash product naturally arises- you want to describe the compactification of a product in terms of each of the factors, how do you do it? It turns out the smash product is the best way to answer the question. In particular, using slightly more suggestive notation, this gives us the result $S^V \wedge S^W \cong S^{V \oplus W}$ for vector spaces $V$ and $W$... look familiar?
- As Jonas said, the smash product is the analog of the tensor product. Recall that the tensor product for $R$-modules is not the categorical product, but it is left adjoint to the Hom functor. This gives it all sorts of nice properties; it's one of the reasons why there is a nice duality between Tor and Ext, and all sorts of other nice stuff. However: I don't think that this analogy is incredibly useful until you move to the stable category... there the smash product is much closer to an honest tensor product, since you're working with an additive category. You can start making sense of what it means to "smash over a ring spectrum" just as one "tensors over a ring" (at least I think you can; you know more about stable stuff than I do.)
As a side note, in response to your parenthetical statement: If you want to know when some functor preserves products or coproducts or some type of limit, it's usually easiest to first check and see if it has an adjoint. See wikipedia on adjoints and (co)continuous functors.
Solution 2:
From nLab:
The smash product is the tensor product in the closed monoidal category of pointed sets. That is, $$\operatorname{Fun}_*(A\wedge B,C)\cong \operatorname{Fun}_*(A,\operatorname{Fun}_*(B,C))$$ Here, $\operatorname{Fun}_*(A,B)$ is the set of basepoint-preserving functions from $A$ to $B$, itself made into a pointed set by taking as basepoint the constant function from all of $A$ to the basepoint in $B$.
There's more at the link. I must admit that I know nothing about this, but I recommend nLab as a good place to look for the categorical place of mathematical constructions.