. "For a locally small category C, an object c and a functor F from C^op to Set, the natural transformations from the representable functor Hom(-, c) to F correspond bijectively to the elements of F(c), naturally in c and F."@en . . "Yoneda lemma"@en . "assistant-judgment" . "Riehl, Category Theory in Context, section 2.2." .