Starmorph News
Emily Riehl is rewriting the foundations of higher category theory (2020)quantamagazine.org
92 points by perihelions 6 days ago | 19 comments