Emily Riehl: Pioneering Mathematician and Multidimensional Life

The Multidimensional Career of Emily Riehl

• 💡 Emily Riehl is a Professor of Mathematics at Johns Hopkins University, specializing in higher category theory, homotopy type theory, and computer formalization.
• ⚽ Beyond her academic prowess, she leads an aggressively multidimensional career, excelling as an international footballer, classical violist, and rock bassist.
• 🧠 Her work involves building structural frameworks that unify algebra, topology, and logic, challenging the traditional image of a mathematician.

Pioneering Contributions to Category Theory

• 🚀 Riehl is a world leader in category theory, which provides a unifying framework for diverse mathematical ideas.
• 🧩 Her research clarifies the foundations of infinity categories, a modern language for describing relationships between relationships across all mathematics.
• 📚 Her PhD thesis, "Algebraic Model Structures," and book, "Categorical Homotopy Theory," established foundational architectures for homotopy theory.

Early Life and Academic Journey

• 🌱 From a young age, Riehl was fascinated by math and patterns, excelling in brainteasers and logic problems.
• 🎓 She thrived in Harvard's challenging Math 55 course and discovered category theory, finding its proofs to be the "right way to think about math."
• 🏆 As a high school student, she won third place in the Intel Science Talent Search for a math project on Tits Graphs.

Strategies for High Productivity

• ⏱️ Riehl employs "purposeful procrastination," focusing intensely on urgent tasks just before deadlines to maximize efficiency.
• 🗓️ She manages her time through "seasons of focus," dedicating periods primarily to math research or to her other passions like sports and music.
• 🛡️ She fiercely protects her deep work time, recognizing its importance for complex mathematical problem-solving.

Integrating Diverse Passions

• ✨ Riehl views her non-academic identities not as distractions but as enhancements to her academic work, providing mental refreshment and emotional balance.
• 🏃‍♀️ She believes that stepping away from the desk for activities like rugby practice can lead to new insights and allow the subconscious to work on problems.
• 🤝 These outside activities combat the isolation and frustration often associated with high-level mathematical research.

Future of Mathematics and Technology

• 🌐 Riehl envisions an interconnected mathematical landscape where category theory serves as a common language between fields.
• 🤖 She is keenly interested in formal proof verification, using computers to check complex mathematical proofs for errors.
• 💡 Her work in homotopy type theory offers a foundation for human-machine collaboration, where mathematicians provide creative insight and machines handle verification.