Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
5.60
\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}