. . "The functor from a locally small category C to the category of presheaves on C that sends an object c to Hom(-, c). It is fully faithful, which is a consequence of the Yoneda lemma."@en . . "Yoneda embedding"@en . "assistant-judgment" . "Riehl, Category Theory in Context, section 2.2." .