Media Summary: In this video I have a lovely discussion with Dr. HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 24, 2022 by the Centre International de ... Abstract: While the last decades have seen considerable advances in our understanding of ∞-

Emily Riehl Makes Infinity Categories - Detailed Analysis & Overview

In this video I have a lovely discussion with Dr. HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 24, 2022 by the Centre International de ... Abstract: While the last decades have seen considerable advances in our understanding of ∞- ABSTRACT A distinctive feature of (classical 1-dimensional) The inaugural Natural Philosophy Symposium was held in Baltimore on May 29-31, 2025. It was sponsored by the Natural ...

Photo Gallery

Emily Riehl Makes Infinity Categories Elementary
∞-Category Theory for Undergraduates
Math Talk!  Dr. Emily Riehl, to infinity categories and beyond.
Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED
Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3
HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (1)
HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (4)
Emily Riehl — The future of mathematics | Math, Inc.
Could ∞-category theory be taught to undergraduates or to a computer?, Emily Riehl | LMS
Challenges in (Auto)formalizing Category Theory | Emily Riehl
Emily Riehl - A Taste of Formal Category Theory - (feb 2021)
HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (3)
View Detailed Profile
Emily Riehl Makes Infinity Categories Elementary

Emily Riehl Makes Infinity Categories Elementary

Emily Riehl

∞-Category Theory for Undergraduates

∞-Category Theory for Undergraduates

At its current state of the art, ∞-

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

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

In this video I have a lovely discussion with Dr.

Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED

Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED

While the concept of

Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3

Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3

HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 24, 2022 by the Centre International de ...

HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (1)

HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (1)

HHHW01 | Dr.

HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (4)

HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (4)

HHHW01 | Dr.

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

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

Emily Riehl

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 ∞-

Challenges in (Auto)formalizing Category Theory | Emily Riehl

Challenges in (Auto)formalizing Category Theory | Emily Riehl

ABSTRACT A distinctive feature of (classical 1-dimensional)

Emily Riehl - A Taste of Formal Category Theory - (feb 2021)

Emily Riehl - A Taste of Formal Category Theory - (feb 2021)

Full video:

HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (3)

HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (3)

HHHW01 | Dr.

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 ...