which is characterized by the adjoint relation
:,that is, a smash product is an analog of a tensor product in abstract algebra (see tensor-hom adjunction). Explicitly, is the quotient of by the wedge sum .

Homotopy

Let I denote the unit interval . A map
:is called a homotopy from the map to the map , where . Intuitively,