🎴 Flashcard Mode

Yoneda's Lemma states that for any category C and any object X in C, there is a natural isomorphism between the functor category C/X and the category of natural transformations from the constant functor X to the identity functor on C. This means that every functor from C/X to Set can be uniquely represented as a natural transformation from the constant functor X to the identity functor on C.