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.
More recently, she wrote https://arxiv.org/abs/2510.15795 on how univalence drives some approaches to synthetic topology/homotopy.