Emily Riehl is rewriting the foundations of higher category theory while also working to make mathematics more inclusive.