[Verse 1] In category theory's grand design There's a lemma that will blow your mind Natural transformations have a secret to tell From Hom functor to F, they correspond so well Take an object A in category C And functor F from C op to Set, you see The morphisms pointing into A Hold the key to what Yoneda has to say [Chorus] You are the sum of your relationships Every arrow tells your story, every map that hits Nat of Hom dash A to F Equals F of A, no more no less Yoneda shows identity's just how others see You're defined by those who point to thee [Verse 2] The embedding Y takes every object A Maps it to Hom functor in a faithful way From C to functor category it goes Fully faithful, that's how the story flows If two objects look the same from outside view Then up to isomorphism, they're the same through and through No intrinsic nature, no essential core Just relationships, nothing more [Chorus] You are the sum of your relationships Every arrow tells your story, every map that hits Nat of Hom dash A to F Equals F of A, no more no less Yoneda shows identity's just how others see You're defined by those who point to thee [Bridge] Locally small categories make it all work clean Natural bijection, most beautiful you've seen Objects have no soul beyond their connections Mathematical identity through others' reflections [Verse 3] The higher meaning cuts right to the bone Objects aren't islands, they can't stand alone Relationships define what something truly is Category theory's most profound quiz From the outside in, that's how we know What an object is, how it can grow Yoneda Lemma, deepest truth we find Objects are just patterns in the mind [Chorus] You are the sum of your relationships Every arrow tells your story, every map that hits Nat of Hom dash A to F Equals F of A, no more no less Yoneda shows identity's just how others see You're defined by those who point to thee [Outro] So remember when you're lost in abstraction's maze Yoneda Lemma lights the way through the haze Understanding flows from outside in That's where mathematical truth begins
← 4 Universal Properties and Adjunctions | 6 Limits and Colimits →