Emily Riehl is rewriting the foundations of higher category theory
Report a link problem
Submission timeline
2007–2026One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.
First comments on top threads
HN comment orderI love category theory. I found out about it through Haskell and as it turns out it is a branch of mathematics that I feel I’ve been missing my whole life. Since taking an interest I’ve worked through a couple books on the topic and have listened to a ton of talks/interviews Emily Riehl has given (as well as others). I really enjoyed her talk at lambda world, “A categorical view of computational effects” (both the content and audio/video quality…
Emily Riehl is one of the best category theory writers in the business. Lurie’s opus was basically unreadable for me until I found her notes on (inf, 1)-categories and enrichment. More recently, she wrote https://arxiv.org/abs/2510.15795 on how univalence drives some approaches to synthetic topology/homotopy.
The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.
- Breakout years
- 2
- Total points
- 341
- Total comments
- 103
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2020-09-02 | Conducting the Mathematical Orchestra from the Middle | theafh | 4 | 0 |
| 2021-03-03 | Emily Riehl is rewriting the foundations of higher category theoryFirst breakout · Best thread | guerrilla | 235 | 82 |
| 2025-10-22 | Emily Riehl is rewriting the foundations of higher category theory (2020)Latest 20+ point return | perihelions | 102 | 21 |