2 added 306 characters in body

Hey

Is there a universal property for the smash product (of pointed spaces or pointed CW-complexes or something of that ilk)? I've seen the smash product of spectra defined with a universal property in terms of the smash product of pointed-spaces, but I was wondering if there was just some simple universal property you could put on these somewhat mysterious (to me) space-level operations.

EDIT: I was hoping for something more satisfying than the internal Hom adjoint. The tensor product can be defined similarly, but I find the universal product in terms of bilinear maps more intuitive (although, when unraveled, they are the same thing). I was hoping for something similar for smash.

Thanks :)

Post Undeleted by Joseph Victor
Post Deleted by Joseph Victor
1