More Examples of Natural Transformations
| For each A in Set there is a natural transformation 1 → PA. Take any X in Set; we need a function from X to XA. 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)) |