Representable Functors
摘要
In this chapter, aiming at Yoneda’s lemma, we introduce the notion of representable functors. Roughly speaking, Yoneda’s lemma shows that natural transformations are determined by local information. It can also be described as coherence or resonance. In the section on “reverse engineering,” the resonance phenomenon is verified by Yoneda’s lemma.