A category is kind of like a very general templte for a mathematical theory. It's, again, a little bit a related to some ideas in physics that we should always be talking about relations between different things rather than intrinsic essences of things themselves. And th what's great about this is every word you say makes perfect sense, and at the end, i'm left not trit knowing what the implications of these ideas are. That's where that's the devil being the details, right? You've ascended to this platonic realm of wonderful abstraction - there's just things and maps between them.
“A way that math can make the world a better place is by making it a more interesting place to be a conscious being.” So says mathematician Emily Riehl near the start of this episode, and it’s a good summary of what’s to come. Emily works in realms of topology and category theory that are far away from practical applications, or even to some non-practical areas of theoretical physics. But they help us think about what is possible and how everything fits together, and what’s more interesting than that? We talk about what topology is, the specific example of homotopy — how things deform into other things — and how thinking about that leads us into groups, rings, groupoids, and ultimately to category theory, the most abstract of them all.
Support Mindscape on Patreon.
Emily Riehl received a Ph.D in mathematics from the University of Chicago. She is currently an associate professor of mathematics at Johns Hopkins University. Among her honors are the JHU President’s Frontier Award and the Joan & Joseph Birman Research Prize. She is author of Categorical Homotopy Theory, and co-author of the upcoming Elements of ∞-Category Theory. She competed on the United States women’s national Australian rules football team, where she served as vice-captain.
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.