Welcome to Yoneda

Here's the Lemma: \[ \mathrm{Nat}(h_A, F) \cong F(A) \] naturally.

Available websites: