Emily Riehl is rewriting the foundations of higher category theory (2020) | Not Hacker News!