Emily Riehl
where else to find them
what they talk about
where they keep going back
- CPP2 editions2024–2025
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Prospects for Computer Formalization of Infinite-Dimensional Category Theory | CPP 2025 | 2025-01-20 |
Goal is to formalize Joyal–Lurie ∞-category theory; two active efforts use different strategies: Infinity Cosmos in Lean (analytic/axiomatic layer built in… | ||
| Formalizing the ∞-categorical Yoneda lemma | CPP 2024 | 2024-01-15 |
Formalizes the ∞-categorical Yoneda lemma inside a new proof assistant called Rzk proof assistant (open source, VS Code plugin) using Riehl–Shulman’s… | ||
| A categorical view of computational effects | Lambda World Cádiz 2019 | 2019-10-17 |
Computational effects are presented as T-programs = functions A -> T B, and the talk claims a concrete equivalence: a functor T yields a category of programs… | ||
| nothing matches | ||