 In essence, the suspension formula_108 can be seen as the cartesian product of formula_3 with the unit interval, modulo an equivalence relation to turn the interval into a loop.The curried form then maps the space formula_3 to the space of functions from loops into formula_57, that is, from formula_3 into formula_113.Then formula_84 is the adjoint functor that maps suspensions to loop spaces, and uncurrying is the dual.