Re: Yoneda Theorem < Yoneda Lemma < Dense Yoneda Theorem