### Definition of Yoneda embedding

1. Noun. (category theory) Given category $\mathcal\left\{C\right\}$, a '''Yoneda embedding''' for this category is a functor $\phi$ such that for any object ''A'' in $\mathcal\left\{C\right\}$, $\phi: A \mapsto h^A$ and for any morphism $f:B \rightarrow A$ in $\mathcal\left\{C\right\}$, $\phi: f \mapsto \eta: h^A \rightarrow h^B$ where the natural transformation ''η'' has components $\eta_X: s \mapsto s\circ f$. Then $\phi: \mathcal\left\{C\right\}^\left\{op\right\} \rightarrow \left[\mathcal\left\{C\right\},\mathcal\left\{S\right\}ets\right]$. Otherwise, it is a functor $\phi$ such that $\phi: A \mapsto h_A$ and for any $f:A \rightarrow B$ in $\mathcal\left\{C\right\}$, $\phi: f \mapsto \eta: h_A \rightarrow h_B$ where ''η'' has components $\eta_X: s \mapsto f\circ s$. Then $\phi: \mathcal\left\{C\right\} \rightarrow \left[\mathcal\left\{C\right\}^\left\{op\right\}, \mathcal\left\{S\right\}ets\right]$. ¹

¹ Source: wiktionary.com

### Lexicographical Neighbors of Yoneda Embedding

 Yogi BerraYogiismYogiismsYogisYogyakartaYoismYoko OnoYokohamaYokutsYola YolandaYolnguYom KippurYom Kippur WarYomiYoneda embedding (current term)Yoneda lemmaYonkersYonneYonner YonnersYorkYork Chocolate CatYork hamYorkeYorke's autolytic reactionYorkieYorkiesYorksYorkshire