**JS3** I found this puzzle in some old notes on a paper by Joseph Goguen.

There is a unique choice of C (any category) for which the Yoneda embedding:

$\mathcal{C} \to \mathbf{Set}^{\mathcal{C}^{\text{op}}}$

has a string of four left