Kerodon

\begin{equation} \label{equation:map-from-Yoneda} h^ X(Y) = \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y) \xrightarrow {\mathscr {F}} \operatorname{Hom}_{\operatorname{Set}}( \mathscr {F}(X), \mathscr {F}(Y) ) \xrightarrow {\operatorname{ev}_ x} \mathscr {F}(Y). \end{equation}