Yoneda Lemma August 1, 2021 Bridging the gap between formal and informal presentations of the Yoneda Lemma.