| Smash Product |
Article Index for Smash |
Website Links For Smash |
Information AboutSmash Product |
| CATEGORIES ABOUT SMASH PRODUCT | |
| topology | |
| homotopy theory | |
| binary operations | |
|
One can think of ''X'' and ''Y'' as sitting inside ''X'' × ''Y'' as the ''X'' ∨ ''Y''. The smash product is then the quotient :. The smash product is important in Homotopy Theory , a branch of Algebraic Topology . One reason why is that the smash product makes the Homotopy Category into a Symmetric Monoidal Category , with the 0- Sphere (two points) as unit. Symmetric here means that the smash product of spaces is commutative up to homotopy. Thus smash product behaves somewhat like the Tensor Product of Module s. Furthermore, the Suspension Functor can be represented by smashing with a circle. EXAMPLES
The smash product can be used to define the Reduced Suspension : :. ADJOINT RELATIONSHIP Adjoint Functors make the analogy between the tensor product and the smash product more precise. In the category of ''R''-modules over a Commutative Ring ''R'', the tensor functor (– ⊗''R'' ''A'') is left adjoint to the internal Hom Functor Hom(''A'',–) so that: : In the Category Of Pointed Spaces , the smash product plays the role of the tensor product. In particular, if ''A'' is Locally Compact then we have an adjunction : where Hom(''A'',''Y'') is the space of based continuous maps together with the Compact-open Topology . In particular, taking ''A'' to be the Unit Circle ''S''1, we see that the suspension functor Σ is left adjoint to the Loop Space functor Ω. |
|
|