Functoriality of currying | Stable homotopy theory and higher algebra

Exercise 1.3.19. Show that currying and uncurrying are functorial in the parameter category \(E\) and compatible with natural isomorphisms.

Generated from the authoritative LaTeX source.