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