Media Summary: Remember when I used a video with a coconut in the thumbnail to drive a stake through the heart of mathematical structure? Many algebraic structures have products. Can we connect them somehow? And what if we add the prefix 'co-'? In other news, I ... I'm sure we've all heard of the Yoneda Lemma before, but why does it get so much hype in
Category Theory - Detailed Analysis & Overview
Remember when I used a video with a coconut in the thumbnail to drive a stake through the heart of mathematical structure? Many algebraic structures have products. Can we connect them somehow? And what if we add the prefix 'co-'? In other news, I ... I'm sure we've all heard of the Yoneda Lemma before, but why does it get so much hype in This presentation was the opening keynote of Lambda World 2017 by Dr. Eugenia Cheng. Follow: - Bartosz Milewski ( Programming is math and math is programming. But the kind of math that's ... Emily Riehl, one of the world's leading category theorists, shares her vision for making infinity
By first outlining a mathematically rigorous definition of a
