Currying in Categories

Cartesian closed categories and the Curry-Howard correspondence