Previously: Existentials. Double Yoneda If you squint hard enough, the Yoneda lemma: $latex \int_{x} \mathbf{Set}\big(\mathcal{C}(a, x), f x\big) \cong f a $ could be interpreted as the representab…