Dr. Emily Riehl is the Kelly Miller Professor of Mathematics at Johns Hopkins University. She is the author of several books directed at mathematical audiences, including Category Theory in Context (Dover 2016) and Elements of ∞-Category Theory (Cambridge 2022), the latter joint with Dominic Verity. Some of her favorite mathematical topics include category theory and homotopy type theory — her specific research areas — as well the mathematics of social choice, the stable marriage problem, and computer formalization.