Emily Riehl is rewriting the foundations of higher category theory (2020) October 22, 2025 by kamal Comments