for any set A, gives rise to a functor. (Specify the assignment on the morphisms.) For
each function f : X → Y, construct a natural transformation of from - X X to - XY.
Fig: 1