Emily Riehl is rewriting the foundations of higher category theory (2020)quantamagazine.org102 pointsperihelions8 months ago