Yoneda Lemma” Prev: representable-functors Next: yoneda-embedding Prev: representable-functors Next: yoneda-embedding