For each A in Set there is a natural transformation 1 → P_{A}. Take any X in Set; we need a function from X to X^{A}. The natural choice would be the one that maps each element x of X to a constant function from A to X that returns x.
Again, I feel a temptation to write the definition like this:
(define (return x) (lambda (a) (x)) |