re **Puzzle 134** I think the answer is simpler: a natural transformation between functors **1** \\(\rightarrow\\) **C** is just a map in **C**.