Emily Riehl Is Rewriting Higher Category Theory