Emily Riehl | PIMS - Pacific Institute for the Mathematical Sciences

Johns Hopkins University

Emily Riehl is Professor of Mathematics at Johns Hopkins University, working on higher category theory, abstract homotopy theory, and homotopy type theory. She studied at Harvard and Cambridge Universities, earned her Ph.D. at the University of Chicago, and was a Benjamin Pierce and NSF postdoctoral fellow at Harvard University. She has published over thirty papers and written three books: Categorical Homotopy Theory (Cambridge 2014), Category Theory in Context (Dover 2016), and Elements of ∞-Category Theory (Cambridge 2022, joint with Dominic Verity). She was recently elected as a member at large of the Council of the American Mathematical Society. In addition to her research, Dr. Riehl is active in promoting access to the world of mathematics through popular writing and in interviews and podcasts. She was also a co-founder of Spectra: the Association for LGBT Mathematicians.

Website

Mathematics has developed an increasingly “higher dimensional” point of view of when different things deserve the same name, categorifying the traditional logical notion of equality to isomorphism (from Greek isos “equal” and morphe “form” or “shape”...

In an introduction to proofs course, students learn to write proofs informally in the language of set theory and classical logic. In this talk, I'll explore the alternate possibility of teaching students to write proofs informally in the language of...