I was hoping surely you would have a solution to **Puzzle 163 & 164**! Reading through your comment made me realize I have no clue whats going on. LOL

Doesn't the puzzle ask to look for left and right adjoints to \\(R_1, R_2,R_3\\)?

This naturality isomorphism for adjoint functors is really confusing. I have no sense of intuition for this yet. Do you have a worked out example of how to use the naturality square to determine whether a functor is a left or right adjoint? Sorry to bother you while you are working on the problem but if you get a chance maybe?