Emily Riehl is rewriting the foundations of higher category theory | Heykuki News