Tag: yoneda's lemma

Yoneda's Lemma is a fundamental result in category theory stating that for any locally small category C, object A in C, and functor F: C → Set, there is a natural isomorphism Nat(Hom(A, -), F) ≅ F(A). This lemma reveals deep connections between objects and their representable functors, and is essential for understanding representability, presheaves, and adjunctions.