October 28, 2025
Equals sign? Never heard of her
Emily Riehl is rewriting the foundations of higher category theory (2021)
Math star “rewrites” the rules — commenters roast the equals sign and a “time-travel” link
TLDR: Emily Riehl’s new work aims to refresh the foundations of a deep math field, and commenters split between applause for her ultra-clear writing and skepticism about “rewriting” hype. Bonus drama: a future-stamped arXiv link and “this is old” gripes added meme-fuel, keeping math nerds and spectators glued.
Emily Riehl, the viola-playing mathematician shaking up higher category theory (think: reimagining “sameness” without the simple equals sign), just lit up the comment section — and not everyone’s clapping in unison. The fandom showed up first: one top reply swooned that her writing made a notoriously dense field readable, especially compared to a legendary, doorstop-sized text. Cue the stan wave cheering Riehl for making brain-melting math feel human.
Then came the spice. Skeptics rolled in to side-eye the headline — “rewriting the foundations” — noting the irony that category theory already aims to be math’s foundation. Translation: is this a true overhaul, or just a fresh coat of paint? Meanwhile, meta-drama exploded when someone dropped a link with a future-looking arXiv code 2510.15795. The crowd: “Did we just time-travel?” Another grumbled “2021” like a timestamp cop, calling out that this profile isn’t brand-new. Classic comment section energy.
Between jokes about “banishing the equals sign” and viola memes about “the glue of the orchestra,” the strongest vibe was clear: respect for Riehl’s clarity and her new book with Dominic Verity, mixed with debate over hype vs. reality. Whether you think she’s rewriting math or reframing it, the thread turned a deep, abstract topic into popcorn-worthy drama — with a side of time-paradox humor and a surprising amount of love for good writing in hard math.
Key Points
- •Category theory originated with Eilenberg and Mac Lane’s 1945 paper advocating equivalence over equality.
- •Higher category theory studies layers of equivalences, modeled by infinity categories.
- •Emily Riehl and Dominic Verity are completing a book to rewrite foundational aspects of higher category theory.
- •Riehl emphasizes category theory’s centrality in fields such as algebraic geometry and mathematical physics.
- •Riehl won the 2021 AWM-Joan and Joseph Birman Research Prize; Quanta Magazine interviewed her about her work and background.