We construct representable presheaves as generic containers via the Yoneda lemma.
No download links available.