Coursera Spring Sale
40% Off Coursera Plus Annual!
Grab it
Explore the Yoneda lemma through the lens of synthetic category theory in this 52-minute mathematical lecture that reframes one of category theory's most fundamental yet abstract theorems. Discover how synthetic category theory makes "functionality" and "naturality" automatic properties, allowing the Yoneda lemma to be understood as an intuitive "arrow induction" principle that works in both covariant and contravariant contexts. Learn how this synthetic approach demystifies what is traditionally considered an obscure statement by providing clearer conceptual foundations. Gain insights into how synthetic mathematics can illuminate classical categorical concepts and make them more accessible through natural computational interpretations. The presentation was recorded during the thematic meeting "Synthetic mathematics, logic-affine computation and efficient proof systems" at the Centre International de Rencontres Mathématiques in Marseille, France.
