Page Summary: Abstract: While the last decades have seen considerable advances in our understanding of ∞-category theory, experts in the field ... Title: Formalizing invisible mathematics: case studies from higher category theory Speaker: Professor

Emily Riehl -

Abstract: While the last decades have seen considerable advances in our understanding of ∞-category theory, experts in the field ... Title: Formalizing invisible mathematics: case studies from higher category theory Speaker: Professor The President's Frontier Award was established with a $2.5 million donation from trustee Louis J.

Important details found

  • Abstract: While the last decades have seen considerable advances in our understanding of ∞-category theory, experts in the field ...
  • Title: Formalizing invisible mathematics: case studies from higher category theory Speaker: Professor
  • The President's Frontier Award was established with a $2.5 million donation from trustee Louis J.
  • The inaugural Natural Philosophy Symposium was held in Baltimore on May 29-31, 2025.

Why this topic is useful

This format is designed to help readers move from a broad question into more specific pages without losing context.

Sponsored

Frequently Asked Questions

What is this page about?

This page summarizes Emily Riehl and connects it with related entries, references, and supporting context.

Is the information always complete?

Not always. Some topics may need verification from official or primary sources.

How should readers use this information?

Use it as a starting point, then open related pages for more specific details.

Topic Gallery

Emily Riehl Makes Infinity Categories Elementary
Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED
Prof. Emily Riehl | Formalizing invisible mathematics: case studies from higher category theory
Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
Math Talk!  Dr. Emily Riehl, to infinity categories and beyond.
MEET a Mathematician! - Emily Riehl
Mindscape 146 | Emily Riehl on Topology, Categories, and the Future of Mathematics
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
Emily Riehl — The future of mathematics | Math, Inc.
Could ∞-category theory be taught to undergraduates or to a computer?, Emily Riehl | LMS
Sponsored
View Full Details
Emily Riehl Makes Infinity Categories Elementary

Emily Riehl Makes Infinity Categories Elementary

Read more details and related context about Emily Riehl Makes Infinity Categories Elementary.

Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED

Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED

Read more details and related context about Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED.

Prof. Emily Riehl | Formalizing invisible mathematics: case studies from higher category theory

Prof. Emily Riehl | Formalizing invisible mathematics: case studies from higher category theory

Title: Formalizing invisible mathematics: case studies from higher category theory Speaker: Professor

Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025

Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025

The inaugural Natural Philosophy Symposium was held in Baltimore on May 29-31, 2025. It was sponsored by the Natural ...

Math Talk!  Dr. Emily Riehl, to infinity categories and beyond.

Math Talk! Dr. Emily Riehl, to infinity categories and beyond.

Read more details and related context about Math Talk! Dr. Emily Riehl, to infinity categories and beyond..

MEET a Mathematician! - Emily Riehl

MEET a Mathematician! - Emily Riehl

For more interviews, visit Learn more about the interviewee at

Mindscape 146 | Emily Riehl on Topology, Categories, and the Future of Mathematics

Mindscape 146 | Emily Riehl on Topology, Categories, and the Future of Mathematics

Patreon: Blog post with audio player, show notes, and transcript: ...

What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains

What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains

The President's Frontier Award was established with a $2.5 million donation from trustee Louis J. Forster. Forster helped design ...

Emily Riehl — The future of mathematics | Math, Inc.

Emily Riehl — The future of mathematics | Math, Inc.

Read more details and related context about Emily Riehl — The future of mathematics | Math, Inc..

Could ∞-category theory be taught to undergraduates or to a computer?, Emily Riehl | LMS

Could ∞-category theory be taught to undergraduates or to a computer?, Emily Riehl | LMS

Abstract: While the last decades have seen considerable advances in our understanding of ∞-category theory, experts in the field ...