In her Perimeter Public Lecture webcast on May 12, 2021, mathematician Emily Riehl will examine the fascinating mathematics providing a solution to the stable marriage problem, including the sexist implications underlying it and some real-world applications. Riehl, an associate professor of mathematics at Johns Hopkins University, has published more than 20 papers and two books on higher category theory and homotopy theory. Perimeter Institute (charitable registration number 88981 4323 RR0001) is the world’s largest independent research hub devoted to theoretical physics, created to foster breakthroughs in the fundamental understanding of our universe, from the smallest particles to the entire cosmos. The Perimeter Institute Public Lecture Series is made possible in part by the support of donors like you. Be part of the equation: https://perimeterinstitute.ca/inspiring-and-educating-public Subscribe for updates on future webcasts, events, free posters, and more: https://insidetheperimeter.ca/newsletter/ facebook.com/pioutreach twitter.com/perimeter instagram.com/perimeterinstitute Donate: https://perimeterinstitute.ca/give-today

Emily Riehl is rewriting the foundations of higher category theory while also working to make mathematics more inclusive.

The worst thing is how intellectually isolated we all are, how few people there are with whom we can share the insights that we find the most exciting, even among other mathematicians. For me personally I feel very frustrated that there is this huge part of my emotional life that most of the people whom I care about have no access to. ​ In a decade’s time, I hope I’m working on projects that I can’t even imagine now and have found a way to be a part of larger mathematical and public conversations.

Keynote by Dr. Emily Riehl C◦mp◦se :: Conference http://www.composeconference.org/ May 18, 2017 Slides: http://www.math.jhu.edu/~eriehl/compose.pdf Monads have famously been used to model computational effects, although, curiously, the computer science literature presents them in a form that is scarcely recognizable to a category theorist — I’d say instead that a monad is just a monoid in the category of endofunctors, what’s the problem? ;) To a categorical eye, computational effects are modeled using the Kleisli category of a monad, a perspective which suggests another categorical tool that might be used to reason about computation. The Kleisli category is closely related to another device for categorical universal algebra called a Lawvere theory, which may be a more natural framework to model computation (an idea suggested by Gibbons, Hinze, Hyland, Plotkin, Power and certainly others). This talk will survey monads, Lawvere theories, and the relationships between them and illustrate the advantages and disadvantages of each framework through a variety of examples: lists, exceptions, side effects, input-output, probabilistic non-determinism, and continuations.

Contribute to cohomolo-gy/cats-in-context development by creating an account on GitHub.