Emily Riehl is rewriting the foundations of higher category theory (2020)
102 points by perihelions
by TimorousBestie
2 subcomments
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.
by ak_111
1 subcomments
This title is a bit ironic when you consider the fact that one of the motivations of inventing category theory is to provide a foundation for many branches of mathematics
Hacker News