in is identified with in , ditto for } and . In , subspaces and intersect in the single point . The smash product is then the quotient
:

The smash product shows up in homotopy theory, a branch of algebraic topology. In homotopy theory, one often works with a different category of spaces than the category of all topological spaces. In some