I.T23 — Yoneda Lemma

The Yoneda Lemma for thin Cat_tau: natural transformations from y(X) to presheaf P are in bijection with P(X). In the thin setting this simplifies to: evaluation at X determines the transformation.