Yoneda’s lemma as an identification of form and function | Heykuki News