In today’s episode of our podcast My Favorite Theorem, my cohost Kevin Knudson and I were happy to welcome Emily Riehl to the show. She’s a mathematician at Johns Hopkins University, and like our previous guest John Urschel, she’s also a football player. (She plays Australian rules football, which we attempted to describe for Urschel in the last episode, and has competed for the US National team.) You can listen to the episode here or at kpknudson.com, where there is also a transcript.
Dr. Riehl studies category theory, an area of mathematics I struggled to describe succinctly for this post. Then I remembered she has literally written the book(s) on it, so why try to reinvent the wheel? Instead I’ll borrow some of her words. In the preface to her book Category Theory in Context, she writes that “the purview of category theory is mathematical analogy. Category theory provides a cross-disciplinary language for mathematics designed to delineate general phenomena, which enables the transfer of ideas from one area of study to another.” A problem that seems difficult in one domain can end up being more tractable in another if you find the right translation between them.
Dr. Riehl’s real favorite theorem is the Yoneda lemma, but she wanted to talk about a different theorem for the podcast. If you’d like to learn more about the real favorite theorem of every category theorist, check out Tai-Danae Bradley’s series about the Yoneda lemma on her blog Math3ma, starting with this post.
The theorem Dr. Riehl chose for the podcast is the theorem that right adjoints preserve limits. Because it is a theorem in category theory, it is stated in a very general and abstract way, but she also showed how to apply it to a more concrete example, the distributive property of multiplication and addition. That is, a(b+c)=ab+ac.
As I admit in the podcast, I feel a little intimidated by category theory, but I appreciated Dr. Riehl’s response: “It’s a language that some people have learned to speak and some people are not acquainted with yet, and that’s totally fine.” We do throw around some technical vocabulary in the episode, so I’ve collected some references here in the show notes so you can explore more deeply at your leisure.
Tai-Danae Bradley’s series on limits and co-limits
The Wikipedia page on adjoint functors and Daniel Kan’s 1958 paper introducing the notion of adjoint functor (pdf)
An expository note for undergraduate math majors by Dr. Riehl on building topological spaces from other spaces (pdf)
In each episode of the podcast, we ask our guest to pair their theorem with food, beverage, art, music, or some other delight in life. Like me, Dr. Riehl is a violist, and we just barely missed meeting each other in Chicago through music. She chose a musical pairing, the Sentimental Sarabande from Benjamin Britten’s Simple Symphony. You’ll have to listen to the episode to learn why she thinks it’s the perfect pairing for right adjoints and their preserved limits. You can listen to the full Simple Symphony here.
You can find Dr. Riehl at her website and on Twitter. Her books Categorical Homotopy Theory and Category Theory in Context have websites too. Through agreements with her publishers, both books are available as PDFs for free. You can find more information about the mathematicians and theorems featured in this podcast, along with other delightful mathematical treats, at kpknudson.com and here at Roots of Unity. A transcript is available here. You can subscribe to and review the podcast on iTunes and other podcast delivery systems. We love to hear from our listeners, so please drop us a line at firstname.lastname@example.org. Kevin Knudson’s handle on Twitter is @niveknosdunk, and mine is @evelynjlamb. The show itself also has a Twitter feed: @myfavethm and a Facebook page. Join us next time to learn another fascinating piece of mathematics.
Previously on My Favorite Theorem:
Episode 0: Your hosts' favorite theorems
Episode 1: Amie Wilkinson’s favorite theorem
Episode 2: Dave Richeson's favorite theorem
Episode 3: Emille Davie Lawrence's favorite theorem
Episode 4: Jordan Ellenberg's favorite theorem
Episode 5: Dusa McDuff's favorite theorem
Episode 6: Eriko Hironaka's favorite theorem
Episode 7: Henry Fowler's favorite theorem
Episode 8: Justin Curry's favorite theorem
Episode 9: Ami Radunskaya's favorite theorem
Episode 10: Mohamed Omar's favorite theorem
Episode 11: Jeanne Clelland's favorite theorem
Episode 12: Candice Price's favorite theorem
Episode 13: Patrick Honner's favorite theorem
Episode 14: Laura Taalman's favorite theorem
Episode 15: Federico Ardila's favorite theorem
Episode 16: Jayadev Athreya's favorite theorem
Episode 17: Nalini Joshi's favorite theorem
Episode 18: John Urschel's favorite theorem